.gitignore: update ignored files