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.
Fix Win32 builds.
Fix build rule.
Bug fixes for --purify-triggers, --dt-force-assignment.
Improved SMT-LIBv2 language support for unsat cores.
Fix assertion in rep_set.cpp, avoid full check in datatypes when in conflict.
More unsat cores work.