RDoc --pipe with markdown output is spec-compliant

The Markdown specification states that ` should have <pre><code> in it,
but this was not followed.

Now, in pipe mode, RDoc HTML output will contain markdown-compliant
verbatim sections.