UF kinds documentation
Quantifiers kinds documentation
Datatypes kinds documentation
Fix header check for glpk.h.
Fixing a soundness bug in arithmetic and a roubustness problem in rings.
Alternative lazier heuristic for assertion rewriting.
stack-size portfolio fix.  boost 1.50 now required
Stack-size portfolio fix.  If using Boost 1.50, --thread-stack=MB is now supported.
Fixing the previous bugfix.
Merge pull request #43 from mdeters/threadstack

stack-size portfolio fix.  boost 1.50 now required

"The intended behavior is this. If Boost threading library is available and portfolio is requested, we do a try-link during configure that sees if we can set a thread attribute. If that compiles and links, we set a #define in cvc4autoconfig.h. There's a new option --thread-stack=N, with N given in megabytes. 0 is default for the platform (which can be based on ulimit I guess as I mentioned in an email). If --thread-stack=N is given to sequential CVC4, it's an error. If it's given to pcvc4 and N > 0 and there isn't support in that Boost version for it, it's an error."
Merge pull request #38 from mdeters/uf-kinds

UF kinds documentation
Merge pull request #37 from mdeters/quants-kinds

Quantifiers kinds documentation
Merge pull request #34 from mdeters/datatypes-kinds

Datatypes kinds documentation
Add missing function definition.
Minor language bindings fixes.
Remove leftover debugging output.
Ignore error result when an error is squelched via command verbosity.
Merge tag 'smtcomp2014-resubmission'

Conflicts:
	src/main/portfolio.cpp
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.