Add Vagrant box for building Docker images.