Configure Vagrantfile for use with AWS provider