Try to add total progress as a badge. (#99)

Jenkinsfile

@@ -1,3 +1,5 @@
+def progressReport = addEmbeddableBadgeConfiguration(id: "totalProgress", subject: "Total Progress")
+
 pipeline {
   agent any
   stages {
@@ -20,6 +22,17 @@ pipeline {
         sh 'make -j4 VERSION=us'
       }
     }
+    stage('Update progress') {
+      steps {
+        script {
+          progress = sh(
+            script: "python3 progress.py badge1",
+            returnStdOut: true).trim()
+
+          progressBadge.setStatus(progress)
+        }
+      }
+    }
   }
   environment {
     QEMU_IRIX = credentials('qemu-irix')