Remove marked.js and google-code-prettify.

Now that we no longer render Markdown client-side, we have no need for
either marked.js or google-code-prettify. This change removes them.