Add an Idris gitignore
Fix typo in haskell gitignore