fix for theory preprocessing cache on clang, perhaps others.
Merge branch '1.0.x'
add user patterns to the Smt1 parser; update NEWS file
update NEWS file
partially address bug 486: allow some model inspection of quantifiers
partially address bug 486: allow some model inspection of quantifiers
fix to workaround ANTLR 3.2 issue with initialization
Merge branch '1.0.x'

Conflicts:
	NEWS
Adding substitution size cap.
Adding miplibtrick option.
Add win32 support (merge from mdeters/win32, with some cleanup).
fix --check-model --finite-model-find when used together (related to bug 486)
Fix errors and reduce warnings on clang (merge from mdeters/clang)
fix --check-model --finite-model-find when used together (related to bug 486)
another fix for quantifier models (related to bug 486)
Merge branch '1.0.x'
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields
some fixes for Intel benchmarks regarding quantifiers and datatypes, datatypes theory still crashes for datatypes with boolean subfields

(cherry picked from master bcbf52ffbe0416ecf70bdb644017c338c0540793)
made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_produced user-level context dependent.  this fixes bug 486
some fixes for win32, including ability to "make check" win32 builds via wine