Fix native language parsing of chained-store expressions (resolves bug 585).  Thanks to Eric Seidel for the report.  Also fixed some operator precedence problems w.r.t. store expressions and arithmetic.
Merge branch '1.4.x'

Conflicts:
	test/regress/regress0/arrays/Makefile.am
Extended parsing testcase, with constant arrays and RESET.
Clear out decls/defs with RESET command.
Print array constants in SMT-LIB models with new syntax.
fix for bug586
Copyright-updating script now retains non-NYU/UIowa copyrights in files if present.
Merge branch '1.4.x'
Some minor cleanup.
Fix a bug in tuple-record handling.  Thanks to Saumya Debray for the report.
Merge branch '1.4.x'
Fix a resource limiting issue where interruption didn't occur promptly.  Thanks Johannes Kanig for the report.
Fix unit test that was broken with last commit.
define-const is an extended command, not permitted in strict mode.
Refactor quantifiers attributes.
sets stronger equality propagator
add couple of stats
Cache for getInstance, thanks to Johannes Kanig for the report.  Do not mkRep for multi triggers.
whitespace fixes
update default Sets options