Update highlight.js to v8.0

This introduces a bunch of new themes and language support.
It also removes line numbering support as it was dropped in favor of
simplicity.