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.