doc/: Link fixes in Vagrant documentation.