Added instructions for Vagrantfile