changed vagrantfile to use vagrantcloud