Bump highlight.js from 9.16.2 to 9.17.1

Bumps [highlight.js](https://github.com/highlightjs/highlight.js) from 9.16.2 to 9.17.1.
- [Release notes](https://github.com/highlightjs/highlight.js/releases)
- [Changelog](https://github.com/highlightjs/highlight.js/blob/master/CHANGES.md)
- [Commits](https://github.com/highlightjs/highlight.js/compare/9.16.2...9.17.1)

Signed-off-by: dependabot-preview[bot] <support@dependabot.com>

package.json

@@ -7,7 +7,7 @@
     "d3": "^5.9.2",
     "d3-tip": "^0.9.1",
     "font-awesome": "^4.7.0",
-    "highlight.js": "^9.12.0",
+    "highlight.js": "^9.17.1",
     "jquery": "^3.4.1",
     "jquery-ui": "^1.12.1",
     "jstree": "^3.3.8",