Puppet module for SimpleSAMLphp