cvc4terminate infinite loop fix
fix unit test for new fair datatype enumeration
Fix AIG bitblaster for unsat cores.
Finer-grained resource-limiting in quantifiers.
Clarify some licensing-related things.
Fix some configuration-related oddness.
Fix bv options doc.
Merge branch '1.4.x'
Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
Merge branch '1.4.x'
Add option for aggressive model filtering in conjecture generator (enumerate ground terms).
Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.
Fix a command-replay bug in tear-down-incremental mode.  Thanks to Christoph Sticksel for the report.
Fix improper #inclusion of private header outside library.
Merge branch '1.4.x'
Option for more aggressive merging in UEE.
Fix for an array-of-record model generation assert-fail (assert was too strong).
fix getModelValue(<non-preregistered term>)
Merge pull request #54 from kbansal/bugfix_setssegfault

fix getModelValue(<non-preregistered term>)
Fix comment in SmtEngine.