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.
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.
Complete the previous patch...
Change the call order for the fp theory.
Change my mind on the call order; now after bit-vector.
Add support for "FP" logics.
Update with the last changes to the floating-point theory standard.
Morgan kindly wrote me this patch to fix the unit tests.