add recipe for idris-mode

Recipe for packaging emacs idris-mode, for working with idris-lang: http://www.idris-lang.org/