[SMTCOMP] Benchmarks updated

[Leonardo de Moura]

We updated the benchmarks at: http://www.csl.sri.com/users/demoura/ 
smt-comp/benchmarks.shtml

The main modifications are:

1) removed the spurious ":extrasorts (ANY)" from the benchmarks in  
QF_LRA

2) included missing benchmarks from SMT-COMP'05: check directories  
and several directories in QF_IDL

3) removed benchmarks from wrong divisions: scheduling and skdmxa  
from QF_LRA

4)  removed the spurious parenthesis from the smtlib-predabs benchmarks.