Add Vagrantfile for a VM with bikeshed installed

.gitignore

@@ -1,2 +1,3 @@
-bikeshed/
+/bikeshed/
+.vagrant/
 index.html

README.md

@@ -38,6 +38,9 @@ pip install --editable ./bikeshed
 cp -R .spec-data/* ./bikeshed/bikeshed/spec-data
 ```
 
+Alternatively, you can use the [Vagrant VM with `bikeshed` already installed](vagrant/bikeshed).
+
+
 # Continuous Integration & Branches
 
 This repository uses `.deploy-output.sh` to generate the Editor's Draft on the `gh-pages` branch upon every merge to `master`. In order to prevent failed merges during continuous integration, the formatted Editor's Draft should not be checked in to `master`, and it is in the `.gitignore` file.

vagrant/bikeshed/README.md

@@ -0,0 +1,13 @@
+Vagrant VM with `bikeshed`
+===
+
+Usage:
+
+    alice@work $ cd webauthn/vagrant/bikeshed
+    alice@work $ vagrant up
+    alice@work $ vagrant ssh
+    ubuntu@ubuntu-xenial $ cd /vagrant
+    ubuntu@ubuntu-xenial $ bikeshed spec
+    ubuntu@ubuntu-xenial $ exit
+    alice@work $ $BROWSER ../../index.html
+    alice@work $ vagrant destroy

vagrant/bikeshed/Vagrantfile

@@ -0,0 +1,10 @@
+Vagrant.configure("2") do |config|
+  # Use Ubuntu 16.04 Xenial as a base box.
+  config.vm.box = "ubuntu/xenial64"
+
+  # Install bikeshed
+  config.vm.provision "shell", path: "provision.sh"
+
+  # Mount project directory at /vagrant
+  config.vm.synced_folder '../..', '/vagrant'
+end

vagrant/bikeshed/provision.sh

@@ -0,0 +1,8 @@
+#! /usr/bin/env bash
+
+sudo apt-get update -qq
+sudo apt-get install -qq python python-pip python-pygments
+
+git clone --depth=1 --branch=master https://github.com/tabatkins/bikeshed.git /vagrant/bikeshed
+pip install --editable /vagrant/bikeshed
+cp -R /vagrant/.spec-data/* /vagrant/bikeshed/bikeshed/spec-data/