Fix an options-processing bug on some platforms (e.g., MacOS).
update ANTLR URLs (antlr.org -> antlr3.org)
fix for theory preprocessing cache on clang, perhaps others.
update NEWS file
partially address bug 486: allow some model inspection of quantifiers
fix --check-model --finite-model-find when used together (related to bug 486)
another fix for quantifier models (related to bug 486)
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

(cherry-picked from master c5d1a5d8f898bf22c6bbc98f1d484b07706c035b)
Fix the regression test for bug 486, and enable it

(cherry-picked from master 23b4fd82d1ed326cd57e9bc57ef9fab98b0b1c87)
correct output language bug with --dump-to
Fix a tuple attribute bug that was causing model-generation problems for tuples