Update to highlight.js v9.10.0, and fix the included languages.
Update to highlight.js v9.10.0, and fix the included languages.

Specifically, add 'dos' in place of 'java' (which we don't use), in
addition to 'bash' and 'csharp'. This slightly fixes the display on
e.g. /developer/release-process and /unstable/userguide/tzdb (it's
more important on the foundation-5 branch, where the default pre/code
style looks a lot worse).

Refs #711.

jskeet/nodatime,BenJenkinson/nodatime,malcolmr/nodatime,BenJenkinson/nodatime,malcolmr/nodatime,malcolmr/nodatime,malcolmr/nodatime,nodatime/nodatime,jskeet/nodatime,nodatime/nodatime