Fix SMT1 parser :extrasorts/:extrapreds.
Fix operator-printing issue in SMT2.
Merge branch '1.4.x'
Fix incorrectly-labeled test.
Merge branch '1.4.x'
Unsat core infrastruture and API (SMT-LIB compliance to come).
Java-side interface improvements for unsat cores.
One small thing forgotten in core commit.
Unit test fix.
Quieter finish to build.
Some fixes for dump- and get-unsat-core.
Unsat core printing.
fix type in sets_translate
fix option alias (minor)
improvements to sets sharing

* Add TheorySets::getEqualityStatus(TNode, TNode)
* Add TheorySets::getModelValue(TNode)
remove some debugging code

(it can be brought back from version control, if needed)
New option --purify-triggers.  Refactoring of InstMatchGenerator.