jenkins with puppet