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
Fix to miplib trick to make it less "cautious" and apply in more cases