Fix for fuzzer-found model bug
version numbering
distribute the find_public_interface.sh script
* Add support for --decision=justification + incremental (bug 437)
 - Fix a destruction order issue this triggered in DE

(this commit was certified error- and warning-free by the test-and-commit script.)
This commit merges in CDTrailHashMap and CDInsertHashMap. CDHashSet now uses CDInsertHashMap. CDHashSet<TNode> have been changed to CDHashSet<Node>.  Switching CnfStream to use CDInsertSet. Switches a few CDHashMaps in arithmetic to use CDTrailHashMap. Documentation changes to CDHashMap.
Cleanup of arithmetic, and some new utility functions for the coming fcsimplex code.
Improved garbage collection for TheoryArith.  The merges all of the code over from branches/arithmetic/converge except for the new code for simplex.
* some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues
* build bugfix for win32
* also fix a bug re: tuples and records in the datatypes rewriter

These fixes are for both trunk and 1.0.x branches.
* tuple and record support in compatibility library

(this commit was certified error- and warning-free by the test-and-commit script.)
Merge branch 'release-1.0.x'

The commits have already been cherry-picked but this commit makes it clear.
Fix performance issue in a DFS search (bug 474)
Fix to portfolio builds
Merge release branch '1.0.x'

For clarity 1.0.x is always a subset of master even after cherry-picking
Merge from 1.0.x (bugfix for 476).
adding cache for preprocessing datatypes terms to fix bug 475, fix for handling user attributes in quantifiers (was broken)
Merge branch '1.0.x'
Merge branch '1.0.x' (getting fix for bug 479)
Merge branch '1.0.x', getting fix for bug 480
Merge pull request #2 from CVC4/1.0.x

1.0.x
Merging in patch from branch '1.0.x'.