Add regressions for finite model finding
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
minor code clean up
spelling
clear up resource limit documentation
clean up file perms and subdirs_to_check for new fmf regressions