Switch to docker for build environment

We currently have a Vagrantfile for creating a virtual machine to build the project in. We may switch to docker instead, as it's more lightweight, and easier to make reproducible.