Add Idris, fix Haskell

This adds a basic gitignore file for Idris based on the Haskell one. There might be some useful entries to add later on, but for now this is better than nothing, I think.

Also fixes a typo in the Haskell gitignore.