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