add compiler option to minify javascript

`--minify <cmd>` will run <cmd> on all javascript files.
Concatenating scripts would be even better, but I need to start using a proper script-loading system for that to work.
Merge branch 'master' of github.com:numbas/Numbas