mini FAQ how to use Vagrant