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 numerous compiler warnings/errors on clang
fix an errant assert at startup
fix a few clang-related things