Remove ExprSMTLIBLetPrinter

This version of KLEE includes our patch to enable
nested let abbreviations.