Vagrant Ubuntu box for running a Docker development environment