Copied Vagrantfile.aws to Vagrantfile to give a basic default; this will be changed.