Add a minification process

Output will be in min.js with a source map in min.js.map.

This is intended to be run on gh-pages, togehter with the "use-minification" branch which should be merged into gh-pages (not master) after this PR is in master.