Properly distinguish which EQC to assign values in datatypes, use assertRepresentative.  Disable regression related to records.  Enable fmf-fun related regression (modified).  Apply modified version of Morgan's patch to fix tuples/records in model.  Fix bug with sort inference + patterns.  Minor infrastructure.
Fix missing case in model postprocessor (resolves bug #595).
Merge branch '1.4.x'

Conflicts:
	test/regress/regress0/Makefile.am
Update competition build rules.
Revert "Fix missing case in model postprocessor (resolves bug #595)."

This reverts commit 61042cf551b19d06673be2b069bacc7cb1cd775a.

Conflicts:
	test/regress/regress0/Makefile.am
Revert "Fix missing case in model postprocessor (resolves bug #595)."

This reverts commit 61042cf551b19d06673be2b069bacc7cb1cd775a.
Enable --quant-cf by default.  Fix bug in qcf for mixed Int/Real.  Minor improvement to performance of E-matching.
Corrected fix for missing case in model postprocessor (resolves bug #595).
Merge branch '1.4.x'

Conflicts:
	src/smt/model_postprocessor.cpp
Fix missing case in Boolean terms rewriting.  (Resolves bug #596.)
Merge branch '1.4.x'

Conflicts:
	src/smt/model_postprocessor.cpp
	test/regress/regress0/Makefile.am
Fix memory issues in bitvector theory, which is now valgrind-clean (mostly resolves bug #594).
Fix a memory leak in SatSolverRegistry (re: bug #594).
Remove some dead code.
Fixed bug in model builder with subtypes
Remove some unused variables.
Merge pull request #62 from mdeters/bv-cleanup

Remove some unused variables.
Fix bug with incremental+datatypes.  Minor cleanup.  Disable regression bug484, enable parsing_ringer.
Fix dt shared terms issue, reenable regression.
Increase stack size when running regressions (fixes some regression crashes on Mac).