add Jenkins configuration (#128)

Author: srid

Jenkinsfile

@@ -0,0 +1,10 @@
+pipeline {
+    agent any
+    stages {
+        stage ('Tests') {
+            steps {
+                sh 'nix run nixpkgs#bash runtest.sh'
+            }
+        }
+    }
+}