highlight.js 7.5 and 8.0
Correcting version format
Restored version 8.0 in highlight.js/package.json
Merge pull request #2531 from isagalaev/master

[author] highlight.js 7.5 and 8.0