editorconfig: provide editor settings for Git developers