Gitignore: add a few entries that were missing.