Make --user-pat=trust default.  Fix a few warnings found by Morgan.  Minor changes to options.
Fix clang warnings
Minor change for performance according to Andy's suggestion.
Remove a bad (unstable, timing-dependent) test.
Merge branch '1.4.x'
Fix for bounded integers when incremental, fixes bug 588.  Add option --dt-binary-split.
Add dt lemma: zero size implies nullary constructor.
Fix assertion.
fix statistic in decision engine
Finish sets type enumerator implementation.
Merge pull request #59 from kbansal/sets3

sets type enumerator
Minor cleanup in datatypes.
Fixed bug 590, added regression test
Fixed bug 589
Fix bug590 regression distcheck failure from last night.
Merge branch 'master' of github.com:CVC4/CVC4 into timeout
removed argument to spendResource