Add .html files to run preoptimized versions of the examples.
Rewire optimizeJS to work on the output of preoptimizeJS.

This yields smaller optimized code (~25 % smaller for the
reversi), and in *much* less time (< 10 seconds).