Ported OONI's Vagrant setup code