Compress JavaScript files

These files are manually generated by UglifyJS, into files with “-min”
as suffix. The original JavaScript files are still available for
development purpose. To load the original files, please use “dev.html”
instead “index.html”.