Update download url of vagrant also the vagrant version documented