Ignore compiled Idris files.