Some fixes for dump- and get-unsat-core.
Unsat core printing.