Some fixes to symmetry breaker (resolves bug 576).
fixed bug575 for bv models
Add support for quantifier-specific instantiation levels.  Add option for setting inst-level 0 only for input terms.
Revert a8e0ce67 and add test case (resolves bug #578).

This reverts commit a8e0ce673ba00533a663804cf74500e4d9a3a5cb.
Merge branch '1.4.x'

Conflicts:
	test/regress/regress0/Makefile.am
first pass at making getEqualityStatus more powerful for bv
refactoring of bv model code
fix bv model bug
more robust check to collectModelInfo
merge conflict fix