First crack at fixing double-linking issues in build system.
Fix compiler warnings in arith and ITE utilities.
Add LETP (parallel let) to CVC4 native language.

Change CVC4 printer to use LETP by default.  CVC3 printer has no LETP.
No more exit() in the library; still needs work in driver to exit if --xxx=help is given.