update setup instructions

update setup instructions
do we really need a vagrant init here ? the 13.1 example already provides a Vagrantfile ready for use. The user should not need to do that