Add support for getting UNSAT proofs via Solver.getProof
Add openLog for debugging and replay purposes