Ensure no cost for datatypes debugging when not tracing it.
Fix portfolio on bug411.smt2.  (get-model command should only go to last winner)
Fix some line-numbering in auto-generated metakind.h.  Thanks to Martin Brain for reporting this.
Support empty (and 1-ary) tuples and records.
Support per-command verbosity settings.
Fix declare-datatypes dumping bug (bug 385).
Add support for check-sat with argument.
Another minor fix for datatypes to repair my previous commit.