Add non-intrusive support for AWS to Vagrantfile

This changeset adds support for AWS provisioning to
Vagrantfile. It won't get in the way of regular users
who want to just use Virtualbox.

The AWS provider will be required only if the user does:

vagrant up --provider=aws