Switch to Highlight.js

This may break some highlighting cases, but it will also speed things up
quite a bit.