switch to minified javascript

github erroneously marks this as javascript for all the wrong reasons.