Minify javascript; update version number for new release.