assets: Use temporarily a patched highlightjs-line-numbers.js

Until observed issue got fixed upstream, use a patched version that
properly renders a multi-line comment in highlighted code.

A pull request has been submitted to the original author:
https://github.com/wcoder/highlightjs-line-numbers.js/pull/48

Closes T1209