Fix Let parsing
Add test case for issue #58.
Use new stp test infrastructure
Move to misc-tests.
Change regexp so that it does not match unsat
Merge pull request #58 from edmcman/master

Smtlib2 parser does not parse Let terms in formulas correctly