Add support for pre-gzipped JS files

Whenever a JavaScript localization file is generated, also create a
compressed version of the same content, to be served to gzip-capable web
browsers.