Jenkinsfile: add editorconfig checker

Jenkinsfile

@@ -14,6 +14,15 @@ pipeline {
                 """
             }
         }
+        stage('editorconfig-checker') {
+            steps {
+                sh """
+                    wget -Oec-linux-amd64.tar.gz https://github.com/editorconfig-checker/editorconfig-checker/releases/latest/download/ec-linux-amd64.tar.gz
+                    tar -xzf ec-linux-amd64.tar.gz && rm ec-linux-amd64.tar.gz
+                    bin/ec-linux-amd64
+                """
+            }
+        }
         stage('bw test') {
             parallel {
                 stage('config and metadata determinism') {
@@ -43,7 +52,10 @@ pipeline {
     }
     post {
         always {
-            sh 'rm -rf venv'
+            sh """
+                rm -rf venv
+                rm -rf bin
+            """
         }
     }
 }