Minor fixes to CVC printer.
More array constants and parsing: better error messages, extend to CVC presentation language.
Improve error in CVC parser in presence of unrecognized command name.
Add some (so far trivial) regressions for constant arrays.
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Sticksel for reporting).
Merge branch '1.4.x'

Conflicts:
	NEWS
Support exporting array-store-all expressions to other ExprManagers (fixes portfolio test failures).
Enable some old bug testcases that (maybe?) never got added.
Support for RESET command in CVC native language (and infrastructure for support elsewhere).