Move the Vagrantfile to Vagrantfile.vbox so we can document two types
Update the relaunch.sh script to use the proper provider depending on which Vagrantfile is copied