Use highlightjs for syntax highlighting in HTML documentation

[wilkinsona]

It looks like it got lost when the build was converted to Gradle.

[wilkinsona]

It's just the reference documentation that's missing syntax highlighting. The other documentation has it but is using prettifier rather than highlightjs. We should use highlightjs as that's what Spring Doc Resources provides CSS for and what Framework uses.