Make .gitignore more precise.