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.
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.