PushWorld: A benchmark for manipulation planning with tools and movable obstacles - View it on GitHub