Make cl stuff point at cl-lib
Further cl- prefixes
Use normal LET

Emacs 24 has lexical binding, and idris-mode uses it. So LEXICAL-LET is obsolete.
More cl- prefixing
Add missing lexical scope specifier
Add missing lexical binding
Merge pull request #205 from david-christiansen/keydef-file

Make cl stuff point at cl-lib