Add an Idris gitignore
Merge pull request #973 from CodeBlock/idris

Add an Idris template