Remove now-unused entries in .gitignore