More entries in .gitignore

These should be ignored in order not to clutter `git status` etc.