Vagrantfile: rearrange providers, use override pattern