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.