Updating push script to minify via webservice

This modifies the push script to use the great service at http://marijnhaverbeke.nl/uglifyjs to minify the script before then adding and committing it again. A minified version is really helpful if trying to get the script submitted to a directory like cdnJS.