Improve documentation for setting the Vagrant provider

Add note and link to Vagrant docs for `VAGRANT_DEFAULT_PROVIDER` environment variable which can be set to specify the default provider.