Update the FAQ, how to use Vagrant