jenkins-tools now in puppet configuration