emacs-idris-mode: upgrade to support idris 0.9.12