VagrantFile updated for AWS and VBox providers