Vagrantfile: add configuration for using aws provider