Python interface for box2d