use marked for markdown
remove pagedown
update components
use highlight.js to highlight markdown code blocks
remove prettify
unify highlight.js / codemirror style
finish removing prettify
Merge pull request #3101 from minrk/marked

use marked / highlight.js instead of pagedown and prettify