.gitignore: add more IDEs/text editors