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.
Add owner map to better manage QuantifiersModules.  Initial infrastructure for cegqi.
Cleanup
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'
buggy version of model based lemmas