Modify smtlib2 parser to accept let expressions inside of terms.

See https://groups.google.com/d/topic/stp-users/OVXDFyCgTuY/discussion for discussion.