Improved JS minifier

Meanwhile also (somewhat forced by improving JS minifier) removed minifier
options. They were kind of useless anyway, though; why would one not minify
completely :)