Tools: minify JS files.