website/docs: remove vagrant box info [GH-3110]