Update to version 8.0 of highlight.js