[SMTCOMP] New benchmarks

[Leonardo de Moura]

Hi,

There are 480 new benchmarks available on the website
for the following divisions: QF_RDL, QF_IDL, QF_UFIDL, and QF_LRA.
There are several SAT instances in this new suite.
More benchmarks will be available later.

The following people contributed directly or indirectly:
Bruno Dutertre, Geoffrey Brown, Lee Pike, Rick Butler, Kazuhiro Ogata,
and Pete Manolios.

Leonardo