Make language explicit in casc scripts
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
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.