.gitignore: add some more commonly used files