Jenkins CI PHP slave built with Vagrant