Render definition lists as HTML

[evbacher]

Many Markdown flavors do not have definition list syntax (including Github-flavored Markdown).

To address this, we should render definition lists as HTML definition lists, which is completely in the spirit of Markdown.