polygon-edit: implement Polygon.getConvexHull()
polygon-edit: convex hull check
polygon-edit: delete inner line in dot mode
polygon-edit: deserialize fix