adding Vagrantfile