MediaWiki extension that provides IRMA authentication