get idris-mode from MELPA