Remove developer environment-specific ignores

Gitignores should be releated to the project, not individual developers' set up. The latter should be in a global gitignore.