ghc-colour/.gitignore