removing useless stuff from .gitignore