Fix Java output stream adapter.
Fix C++-to-Java exception translation.
Fix a segfault in the printer infrastructure when called from API and no language is set
Bug fix for E-matching select terms, minor fix for bounded integers, bug fix to improve performance of quantifiers rewriter
Incremental is now on by default when using from API, off for command-line driver except in interactive mode.
Some versioning in advance of the 1.3 release.
Add missing template instanatiation in Java bindings
Java bindings improvements for CASCADE, minor cleanup.
General pre-release cleanup commit

* Rename {model,util_model}.{h,cpp} files to match class names
* Fix alreadyVisited() issue in TheoryEngine
* Remove spurious Message that causes compliance issues
* Update copyrights, fix public/private markings in headers
* minor comment fixes
* remove EXTRACT_OP as a special-case in typechecker
* note about rewriters in theoryskel readme
* Clean up some compiler warnings
* Code typos and spacing
Fix for compile error when using gcc 4.7 with -std=gnu++11.  Thanks to Martin Brain for the patch!
Ignore config/compile file, which newer autotools create
Fix portfolio compile error.
Fix proofs build.
Update NEWS file.
Another fix to Java destruction order issues.  Thanks to Zheng Manchun for the report.
fixed rewriter bug where postRewrite was not caching properly
Support for parametric datatype subtyping, so that e.g. (Pair Int Int) is a subtype of (Pair Real Real).  Resolves bug #541.
Add test case for (previously resolved) bug 528.
Minor cleanup.
SExpr pretty-printing for :all-options and :all-statistics.