Dynamic compression of javascript