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.
Run $ contrib/new-theory fp
Add in the floating-point infrastructure code from the TRP branch.
The rest of the infrastructure changes that I didn't include in the previous commit...
Apply review comments from Morgan.
Fix cut-and-paste error in comments.