Add a missing file to the .gitignore.

Something more relaxing.