File inclusion in Smt2 parser.

The extended command (include-file "filename") now includes file content.