Update docs for Vagrant box import.

This patch fixes the command to import a newly generated .box into Vagrant.