@ynachiket is going to use the main vagrantfile in the virgo-vagrant project. I figure if someone has their own docker environment, they can use the Makefile in that same project.