Update highlight.js to version 7.5 (#90)