Make .gitignore more concise.