An experimental Vagrant plugin for Jenkins