Remove dev tools specific files from .gitignore

There are infinite dev tools with infinite kinds of files they generate. Instead of putting every possible entry to the project's .gitignore file, a user should create her own global .gitignore with entries specific to the tools used by her.