Managing Jenkins with Puppet, part 1: Basic installation