removed some redundancy in .gitignore