Fix typo.
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).