Minor fix for swig bindings.
Fix Java destruction order issue; thanks to Zheng Manchun for reporting this bug.
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.