Updated CASC scripts, as provided to Geoff Sutcliffe
Add partial support for MBQI with arrays when using --fmf-fmc.  Fix constant bounds for bounded integers.
Fix clang static initialization order issue; fixes bug 512.
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.
minor code clean up
spelling/typos
clear up resource limit documentation
clean up file perms
Remove spurious Message that causes compliance issues.
arith option cleanup
cleanup timerstat example
some test cleanup