Ripping AWS config out of main Vagrantfile, because vagrant is janky and doesn't properly support multiple providers in one file, at least not with AWS.