Fix clang static initialization order issue; fixes bug 512.
Merge branch '1.2.x'
Add --no-condense-function-values option for explicit function models (useful in some applications)
File inclusion in Smt2 parser.

The extended command (include-file "filename") now includes file content.
Re-enable predicate subtyping, reversing commit 8f9f549 (needed for Kind integration)
fix for lambdas in relation to subtypes
fixup for miplib trick (related to lambda fix for subtypes)
subrange-related fix
new --tear-down-incremental mode
new --force-logic option that overrides what the input says