Modify smtlib2 parser to accept let expressions inside of terms.
Merge pull request #9 from edmcman/master

Modify smtlib2 parser to accept let expressions inside of terms.