Minor fixes to CVC printer.
Improve error in CVC parser in presence of unrecognized command name.
Fix output of integer-valued real constants in SMT-LIB models (thanks Christoph Sticksel for reporting).
Merge branch '1.4.x'

Conflicts:
	NEWS