updated vagrant provider config to speed up dns resolution