add recipe for idris-mode
Merge pull request #1203 from webframp/idris-mode

add recipe for idris-mode