added a note how to set the default provider in a Vagrantfile