add Vagrantfile for ci workshop