Fix for Windows builds (rlimit doesn't exist on Windows).
Support E-matching/QCF for Set operators.
Fix StarExec description files for new requirements.
Another check when making SMT-COMP submission zipfiles.
Fixing run-script for smt-comp
SMT strict mode now disallows N-ary use of concat, bvadd, bvmul, bvand, bvor, and bvxor.
Fix usability issue with tear-down incremental mode.
Update commit # for get-abc script, anticipating Liana's merge.
SmtEngine::checkModel() now checks that model values are of the correct type (related to bug #569).
Add operator support (resolves bug #563).
When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary.
Add --default-dag-thresh to translator, build translator with other examples.
SMT-COMP version gets built --with-abc.
Sets translate, and other short fixes

- $ is a simple symbol is smt2.
- ever found yourself counting in kind.h? no longer.
- expose parser "logic is set" state for smt/smt2 (any better way?)
- a more helpful assertion message in smt_engine
option to hide stats which are zero (off by default), also some aliases
-{d,t} help => --show-{debug,trace}-tags
sets: fix equality propagation
Patch for the subtype theoryof mode to make the equalities over disequal types get sent to the theory of the type.
Adding a new test case for bug 569.
Fixes to the normal form of arithmetic so that real terms are before integer terms.
rm warning from helloworld example
Fix submission script (again).