Update Highlight.js

Fixes #13

Should it be ~8.3.0?