Remove ExprSMTLIBLetPrinter

This version of KLEE includes our patch to enable
nested let abbreviations.
Merge pull request #136 from rsas/bump-klee

Remove ExprSMTLIBLetPrinter