Set up the basic CI infrastructure

.travis.yml

@@ -0,0 +1,17 @@
+language: rust
+
+cache: pip
+
+install:
+  - bash ci/install.sh
+  - source ~/.cargo/env || true
+
+script:
+  - true
+
+after_success:
+  - bash ci/github_pages.sh
+
+notifications:
+  email:
+    on_success: never

ci/github_pages.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+set -ex
+
+BOOK_DIR=book
+
+# Only upload the built book to github pages if it's a commit to master
+if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then
+    mdbook build 
+    ghp-import $BOOK_DIR
+fi

ci/install.sh

@@ -0,0 +1,6 @@
+#!/bin/bash
+set -ex
+
+if command -v ghp-import >/dev/null 2>&1; then
+    pip install ghp-import
+fi