Fixes for Win32 (closes bugs 488 and 489)

* timer statistics now supported (closes bug 488)
* use of --mmap doesn't crash anymore (closes bug 489)
Updated NEWS for recent changes.
fix for finite model finding caused by new collectModelInfo code
currently disabling bug486 regression.  we need to discuss getValue/collectModelInfo for quantifiers more.
correct output language bug with --dump-to
Adding a heuristic to more eagerly split bounded integer variables.
Fix a small problem in clang builds due to namespaces and symbol lookup
Fix a small problem in clang builds due to namespaces and symbol lookup
Merge branch '1.0.x'
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>