.gitignore: add multiple items to .gitignore