Some bug fixes related to fenced code in markdown

  ``` as cryptol wasn't supported, and fenced code blocks that weren't
understood were having their internals processed as markdown