A python tool to convert several GitHub wikis to a single LaTeX document