Puppet module for installing and managing Jetty.