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).
Merge pull request #28 from kbansal/sets

Sets translator, bug fixes
sets translator: fix for dags
sets translate: a different translation using axioms

todo: set logic correctly, split the code for two translators
Allow 'repeat' as an SMT-LIB user symbol name (UFNIA/vcc-havoc does this).
Better error when there are \backslashes in |quoted symbols|.
smt2 parser: tokenize emptyset only if theory enabled
Previous "repeat" fix required extra lookahead (leading to assert-fails).  Fixed, at the cost of an antlr warning that's safe to ignore for now.
test for prvs commit (tokenize emptyset)

9978c259f30b1f4b2c70c04589a309033a6eb1f6
parseErrorHelper : factor out whole word matching

catches some corner cases, more readable too
Add missing set of braces, fixes --trace.

Also ensure // commented Debug() lines don't get included in Debug/Trace_tags.