Use Travis to deploy to new server

.travis.yml

@@ -0,0 +1,16 @@
+language: generic
+
+env:
+  global:
+    - ENCRYPTION_LABEL="51dbb505c079"
+    - SERVER="165.227.248.76"
+    - SERVER_PUBLIC_KEY="ecdsa-sha2-nistp256 AAAAE2VjZHNhLXNoYTItbmlzdHAyNTYAAAAIbmlzdHAyNTYAAABBBDt6Igtp73aTOYXuFb8qLtgs80wWF6cNi3/AItpWAMpX3PymUw7stU7Pi+IoBJz21nfgmxaKp3gfSe2DPNt06l8="
+    - WEB_ROOT="html-differences.whatwg.org"
+
+script:
+  - bash ./deploy.sh
+
+notifications:
+  email:
+    on_success: never
+    on_failure: always

deploy.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+set -e
+
+if [ "$TRAVIS_BRANCH" != "master" -o "$TRAVIS_PULL_REQUEST" != "false" ]; then
+    echo "Skipping deploy for a pull request"
+else
+    ENCRYPTED_KEY_VAR="encrypted_${ENCRYPTION_LABEL}_key"
+    ENCRYPTED_IV_VAR="encrypted_${ENCRYPTION_LABEL}_iv"
+    ENCRYPTED_KEY=${!ENCRYPTED_KEY_VAR}
+    ENCRYPTED_IV=${!ENCRYPTED_IV_VAR}
+    openssl aes-256-cbc -K $ENCRYPTED_KEY -iv $ENCRYPTED_IV -in deploy_key.enc -out deploy_key -d
+    chmod 600 deploy_key
+    eval `ssh-agent -s`
+    ssh-add deploy_key
+    echo "$SERVER $SERVER_PUBLIC_KEY" > known_hosts
+    mkdir $WEB_ROOT
+    mv Overview.whatwg.html $WEB_ROOT/index.html
+    rsync --archive --chmod=D755,F644 --verbose --compress --delete --rsh="ssh -o UserKnownHostsFile=known_hosts" $WEB_ROOT deploy@$SERVER:/var/www/
+fi