Switch highlighter.

Switched from google-code-prettify to highlight.js for automatic
detection of plain text; also did some refactoring.