Add instructions for Vagrant