mcsat version used in fmcad 2013 experiments

The actual resubmission to SMT-COMP 2012, which fixes both the arith …

…and BV bugs found in the competition.

The official resubmission to SMT-COMP 2012, which fixes a couple of b…

…ugs exposed in the demo track (QF_LIA) and main track (QF_UFLIA).

Cutting release 1.0.

qf_lra strategy

a candidate has been submitted, compilation log and final build scrip…

…t in this commit