update Text.Markdown.Options: default values
add Idris API: printMarkdown, printHtml, printAST