Tweaks the toplevel .gitignore file (first of many such changes)