instructions for setting up with Vagrant