Minor tweaks in Javascript documentation.
Fix pandoc filter.

And add a script that helps to run pandoc with appropriate
command line flags.
Generated Javascript.html.