Switch to Marked.js

It's faster than Showdown and offers easy code highlighting.

I'm not sure this works without my PR to switch to Highlight.js (because
the CSS changed quite a bit).