ci: Add Jenkins pipeline

ci/Jenkinsfile

@@ -0,0 +1,16 @@
+pipeline {
+    agent any
+
+    environment {
+        PUBLISH_HOST = 'web0.pyrocufflink.blue'
+        PUBLISH_USER = 'webapp.dchwww'
+    }
+
+    stages {
+        stage('Publish') {
+            steps {
+                sh '. ci/publish.sh'
+            }
+        }
+    }
+}

ci/publish.sh

@@ -0,0 +1,8 @@
+#!/bin/sh
+
+rsync -rti . ${PUBLISH_USER}@${PUBLISH_HOST}: \
+	--exclude dist/ --exclude .git
+rsync -rti dist/ ${PUBLISH_USER}@${PUBLISH_HOST}:wheelhouse \
+	--include '*.whl' --exclude '**'
+ssh ${PUBLISH_USER}@${PUBLISH_HOST} \
+	venv/bin/pip install --no-index -f wheelhouse -r requirements.txt