Tool for converting webviewers from webviewers.org into XWiki extensions on extensions.xwiki.org