Fix (extraneous) command dumping.
Fixes to theoryof-mode; no longer static in Theory class.
Support for bv2nat/int2bv in parser and BV rewriter.
Support a personal build configuration and make rules.
Suggest command-line options on typos