[SMT-LIB] minor updates to benchmarks

[Clark Barrett]

The "check" benchmarks in QF_AUFLIA, QF_UFIDL, and QF_UFLIA have been updated
so that their "logic" attribute matches the division in which they are located.

Also, the QF_BV tar file seems to have been missing some benchmarks.  Also, the
status and difficulty for the tacas07 benchmarks was unknown.  These have been
updated and the tar file now contains all the updated benchmarks.

-Clark