Idris: fix wrapper for llvm, upgrade emacs-idris-mode