Port to emscripten port of Box2D.

This has slightly better performance.