Added support for MathSAT5
Don't set option produce-proofs
Fixes to make MathSAT5 work
Merge pull request #65 from chsticksel/mathsat5

Added support for MathSAT5