git: quick addendum to gitignore