[PR] Put IDE-related ignores in my global .gitignore