Jenkins-CI puppet plugin