.gitignore: Add a couple more automatically generated files.