Significant work on bounded integer quantification to handle non-trivial bounds.  Refactoring of InstConstantAttribute to be internal to TermDb.
Merge branch 'master' of https://github.com/CVC4/CVC4

Conflicts:
	src/theory/arith/theory_arith_private.cpp
	src/theory/quantifiers_engine.cpp