update hotjs.py, added minify with yuicompressor, to generate hotjs-mini.js