Add an Idris gitignore

Based on the Haskell one, but adds `*.ibc` for Idris bytecode.