Add idris-mode recipe

Idris is a dependently typed purely functional programming language
influenced by Haskell. See http://idris-lang.org
Merge pull request #1217 from paulkoerbitz/idris-mode-recipe

Add idris-mode recipe