Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385; also fix a segfault in smt2 printer
Fix bugs/issues with missed-t-prop dump output
Permit setOption(decision-mode)
Fix lambda handling in CVC parser
Fix FLOOR and DISTINCT in CVC language parser.
Fix datatypes for bug 503
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.
Theory of strings.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
fix bug 534: portfolio define-fun duplicate model
Merge branch 'master' of https://github.com/CVC4/CVC4
Documentation fixes, some code typo fixes, file perms, other minor things.
Move some regress benchmarks around that took too long, other test cleanup.
Fix sat_proof "parentheses into the void" after conferring with Liana.