(#2) Add the HTML for highlight.js to the footer.

The previous method of adding the HTML could break the resulting documentation if no other JavaDoc was present.
Remove the JavaDoc JAR from the build.