[SMT-LIB] New benchmarks

[Clark Barrett]

The first set of new benchmarks for 2009 has been posted on the SMT-LIB web
page.  For now, they are simply posted as tar files, listed separately from the
main files in the library.  They will be merged into the library in the near
future.

Note that because of the number and size of new benchmarks in QF_BV, the
benchmarks in this division have been divided into 9 different tarballs.  The
first one (QF_BV0.tar.gz) contains many different families of new benchmarks.
The rest (QF_BV1.tar.gz through QF_BV8.tar.gz) contain specific benchmarks in
the sage/app7 family which is disproportionately large compared to all the
others.

We welcome feedback and comments on the new benchmarks.

-Clark Barrett