Added tests for models and unsat cores. Tiny bug fixes.
Added support for mathsat, moved solver info