Quick and Dirty tool to convert ProGit to a GitBook