Vagrantfiles for Docker VMs