Merge branch 'mueller/master' of https://egit.irs.uni-stuttgart.de/eive/eive_obsw into mueller/master

Jenkinsfile

@@ -0,0 +1,10 @@
+pipeline {
+    agent { docker { image 'alpine:latest' } }
+    stages {
+        stage('build') {
+            steps {
+                sh 'echo Hello World'
+            }
+        }
+    }
+}