extend the .gitignore file

this makes `git status` less cluttered, in particular for in-source
builds...