Don't install VirtualBox Guest Additions if VAGRANT_DEFAULT_PROVIDER is set.
Merge pull request #1578 from jimmycuadra/vagrant-provider-detection

Better VirtualBox detection in Vagrantfile