Puppet manifest to configure and install Jenkins