Final highlighting changes.

Compiled my own highlight.js package, added back some languages, added
some highlighting logic for unsupported languages.