Remove google-code-prettify, replaced by highlight.js