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