Little tool to convert texy files to html or GitHub Markdown language