add: instructions for Vagrant users.