Vagrant plugin for jenkins