add strings-opt2 for regular splitting
nodemanager robust skolem numbering
minor change with kshitij's change
cleanup
add strings-opt2 for regular splitting
Merge branch 'master' of github.com:tiliang/CVC4
Merge remote-tracking branch 'upstream/master' into sets
Significantly improve performance for producing datatypes models.
add leading zeros support for str.to.int
fix a typo: --string-exp => --strings-exp; fix a signed int warning in antlr
Revert a compiler warning fix from ea6a5a6.
fix was compiler warning in antlr_input, crashing test case with the old fix
fixed couple of more warnings
Fix for --force-logic to extend its reach to the parser.
Mostly resolves bug #561 memory leaks, and more.
Fix for (user) context-dependence of arith TO_INT/IS_INT rewriting and rewrite-divk.
Fix simplify output for SMT2 printer.
Fix compiler warning re: TheoryUF destructor.
Fix warnings, cleanup in strings typechecker.
T-entailment work, and QCF (quant conflict find) work that uses it.

This commit includes work from the past month on the T-entailment check
infrastructure (due to Tim), an entailment check for arithmetic
(also Tim), and QCF work that uses T-entailment (due to Andrew Reynolds).

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>