Remove ExprSMTLIBLetPrinter

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

Remove ExprSMTLIBLetPrinter
Merge remote-tracking branch 'origin/master' into simple-synthesis

Conflicts:
	tools/souper.cpp