First attempt at incorporating LFSC proof checker into CVC4.
Printer support for GetProofCommand.
Fix bug 285; some cleanup.
Add support for Boolean variables, ITEs, and other things.
Instead of marking regressions with PROOF, proof-check all single-query valid/unsat regressions by default.