[SMTCOMP] Benchmark library was updated

[Leonardo de Moura]

Hi,

We updated the benchmark library.
http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml
The main modifications are:

- the bitvector (QF_UFBV32) benchmarks are available

- most of the Averest benchmarks in QF_LIA were in the
difference logic fragment. So, we move them to QF_IDL.

We are officially freezing the benchmark library. No new benchmark
will be included in the library.

Best wishes,
Leonardo for Aaron and Clark, too.