a tool to export a github wiki to an html file