Fix installation docs for new Vagrant versions