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