hg: jdk/sandbox: Add html filter script from Jon.

[magnus.ihse.bursie at oracle.com]

Changeset: d8697832a650
Author:    ihse
Date:      2018-12-03 18:33 +0100
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/d8697832a650

Add html filter script from Jon.

! make/CompileToolsJdk.gmk
! make/Docs.gmk
! make/ToolsJdk.gmk
! make/launcher/LauncherCommon.gmk
+ make/scripts/pandoc-html-manpage-filter.js
+ make/scripts/pandoc-html-manpage-filter.sh.template
- make/scripts/pandoc-manpage-filter.js
- make/scripts/pandoc-manpage-filter.sh.template
+ make/scripts/pandoc-troff-manpage-filter.js
+ make/scripts/pandoc-troff-manpage-filter.sh.template