Remove private header from public driver.
Some minor cleanup.
Add unsat cores support to CVC native language.
Merge branch '1.4.x'