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.
Model building into quantifiers engine.  Simplify axiom-inst mode.
CEGQI uses model.  Enforce fairness in CEGQI natively.
trace decision-node
amend prvs commit
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
Merge pull request #58 from mdeters/smt-attributes

Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
fix for memory leak in BVQuickCheck
Add dt.size to datatypes theory.  Add option for fairness strategy used by CEGQI.  Improve care graph/equality status for datatypes.  Only do FULL effort check in datatypes if no other theories used output channel.
Use n-ary splits instead of binary splits in theory datatypes.
Add Thomas Hunger to THANKS file (for having submitted patches).
Merge branch '1.4.x'
Make --user-pat=trust default.  Fix a few warnings found by Morgan.  Minor changes to options.
Fix clang warnings
Minor change for performance according to Andy's suggestion.