Expose unsat core functionality of MathSAT5 solver