sets stronger equality propagator
add couple of stats
Cache for getInstance, thanks to Johannes Kanig for the report.  Do not mkRep for multi triggers.
whitespace fixes
update default Sets options
Merge remote-tracking branch 'upstream/master' into sets-mergable
Fix portoflio issues (debugging code was being called even when tag was off)
Remove private header from public driver.
Some minor cleanup.
Add unsat cores support to CVC native language.
Merge branch '1.4.x'
Refactor quantifier prenex option.  By default, do not pull quantifiers with user patterns.
Add owner map to better manage QuantifiersModules.  Initial infrastructure for cegqi.
Cleanup
Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti for the report.
Initial draft of CEGQI.
Merge remote-tracking branch 'origin/1.4.x'
Some defensive programming at destruction time, and fix a latent dangling pointer bug.
Merge branch '1.4.x'
Refactor model builder from model engine to quant engine.  Work on fairness strategy for CEGQI.  Add option for single/multi triggers.  Minor cleanup.