ghc-case-insensitive/.gitignore