improve the .gitignore a bit

This is a tiny change, but since I was jumping between this and other branches seemed useful. :)