highlight.js: add line numbers to view source

Many thanks to @jbrummer for incorporating highlight.js and pdf.js... the effect of these changes is huge!

This MR is a potential additional enhancement to view-source that adds line numbers to the source via the highlightjs-line-numbers.js plugin.