emacs-idris-mode-git 20130923-1