An oauth2 authorization server in the form of a simpleSAMLphp module