Implement logging of SMT solver commands

[facundominguez]

liquid-fixpoint produces .smt2 files with the commands that have been fed to the SMT solver. It would be helpful for debugging if rest could do the same.