add Text.Markdown.Options
add Idris API: readMarkdown, writeHtml
add Idris API: writeMarkdown