Fork (and catkinized version) of clipper, a polygon clipping library