Terser minifier

Minify JavaScript and show original, minified and gzip-size estimates.