ci: Add action-editorconfig-checker to the GitHub Action for linting The editorconfig-checker program is not installed by default in the OS used by GitHub Actions. Fortunately, the editorconfig-checker authors have kindly provided the action-editorconfig-checker repository, which we are now using.