Eliminate stupid warnings about runtime use of cl

Now, idris-mode uses the namespaced versions from cl-lib instead.