Defined in File boost_polygon_utils.hpp
rotate a polygon by some angle around the origin
polygon – [in] input polygon
angle – [in] angle of rotation [rad]
rotated polygon