gitignore: ignore the editor config files