Puppet module for installing Jetty