Add some more stuff to .gitignore, now that it’s included in the repo.