Proofs- and cores-related segfault fixes (mainly a usability issue), thanks Christoph Sticksel for reporting these.
Fix a command-replay bug in tear-down-incremental mode.  Thanks to Christoph Sticksel for the report.
Fix improper #inclusion of private header outside library.
Merge branch '1.4.x'
Option for more aggressive merging in UEE.
Fix for an array-of-record model generation assert-fail (assert was too strong).
fix getModelValue(<non-preregistered term>)
Merge pull request #54 from kbansal/bugfix_setssegfault

fix getModelValue(<non-preregistered term>)
Fix comment in SmtEngine.
Update AUTHORS affiliations and add Martin.
Better getEqualityStatus for arrays, smarter combination of theories
More model-based combination for arrays
Added option for developer use only
Merge branch '1.4.x'.
Added internal support for constant arrays.
Fix unit test for ArrayStoreAll.
Note array const support in NEWS
Merge branch '1.4.x'
SMT-LIB parser support for array constants (Z3 syntax).
Minor fixes to CVC printer.