emacs-idris-mode: upgrade to 0.9.15