Make vagrant file dual VirtualBox/Docker compatible