Puppet module for Shibboleth Identity Provider (IDP)