Jenkinsfile, Dockerfile: initial ci setup

Dockerfile

@@ -0,0 +1,14 @@
+ARG K_COMMIT
+FROM runtimeverificationinc/kframework-k:ubuntu-bionic-${K_COMMIT}
+
+RUN    apt-get update         \
+    && apt-get upgrade --yes  \
+    && apt-get install --yes  \
+                       pandoc
+
+ARG USER_ID=1000
+ARG GROUP_ID=1000
+RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
+
+USER user:user
+WORKDIR /home/user

Jenkinsfile

@@ -0,0 +1,21 @@
+pipeline {
+  agent {
+    dockerfile {
+      label 'docker'
+      additionalBuildArgs '--build-arg K_COMMIT=$(cd deps/wasm-semantics/deps/k && git rev-parse --short=7 HEAD) --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
+    }
+  }
+  options { ansiColor('xterm') }
+  stages {
+    stage('Init title') {
+      when { changeRequest() }
+      steps { script { currentBuild.displayName = "PR ${env.CHANGE_ID}: ${env.CHANGE_TITLE}" } }
+    }
+    stage('Build and Test') {
+      stages {
+        stage('Build') { steps { sh 'echo build' } }
+        stage('Test')  { steps { sh 'echo test'  } }
+      }
+    }
+  }
+}