instructions for using vagrant