Upgrade highlight.js to version 8.3

Version 8.3 comes with new themes and support for languages like Swift. It is breaking, however, since new classes are used in the CSS.