Fix a small problem in clang builds due to namespaces and symbol lookup
Fix a tuple attribute bug that was causing model-generation problems for tuples
Merge branch '1.0.x'
correct output language bug with --dump-to
Remove old miplibtrick from arith static learner
new miplib pass, works for 1 or 2 vars
extended miplib trick to 6 vars, should work on pp miplib examples now
new option for doing top-level miplib substitutions (or not)
Merge from mdeters/miplib branch (commit 'ce7c485182902ae43871057185095f71f74a8a58')
Some cleanup of miplib regressions and options
Model no longer adds subterms of quantifiers to equality engine, this fixed bug 492 and resolves previous issue for bug 486.\n Multiple improvements for E-matching: do not choose multi-triggers if single triggers exist, only create multi-triggers that contain all variables, consider multiple terms per equivalence class but only add one instantiation per round per (trigger,term) pair.\nImprovements for strong solver: make use of sort inference information when choosing splits, check for cliques eagerly when disequalities are asserted.
Model no longer adds subterms of quantifiers to equality engine, this fixed bug 492 and resolves previous issue for bug 486.
(cherry picked from *part* of commit e54c0f73712b25f1d6d49a3817c923eea077da81)

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
Merge branch '1.0.x'
Printing commands as they're executed now requires verbosity 3+
Some fixes for the miplib preprocessing pass.

* TNode violation bug fix (thanks to Tim King for discovery & fix)
* change Boolean miplib-trick substitution option into a threshold
* ppAssert() the generated miplib constraints to arithmetic
fixed files with DOS newlines; fixed contrib/ scripts to use git
driver::totalTime statistic is now reported correctly on crashes, too
Fix NodeBuilder bug which could attempt to allocate beyond hard limit
Merge branch '1.0.x'
More improvements for E-matching