A compressed over-the-wire format for asm.js that allows efficient client-side translation back into asm.js