cleaner javascript output, and new option --pure-javascript that will avoid using the pythonjs runtime.