Add support for getting UNSAT proofs via Solver.getProof
Add openLog for debugging and replay purposes
Merge branch 'topic/proofs' into 2.9.x