API documentation improvements.
Fix compiler warnings (mostly unused variables).
Run in application track with --check-models.
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.
Minor cleanup stuff.
Output language "cvc3" (as opposed to "cvc" or "cvc4") produces output for CVC3:

1. no decimals used for rational literals
2. queries/check-sats wrapped with PUSH/POP
Add LETP (parallel let) to CVC4 native language.

Change CVC4 printer to use LETP by default.  CVC3 printer has no LETP.
DAG output fixed to support quantifiers and lambdas (resolves bug #358).