Puppet manifests for managing the Jenkins project infrastructure