vagrant/network: Adjust VirtualBox DNS proxy setting