Fix GitbookIO/editor#136: update highlight.js@8.2.0