highlight.js updated to version 8.0 (http://highlightjs.org/)