* [clipper] add port * [clipper] works only if built as a static library * [clipper] rename to polyclipping