Trimming tool

Finalized a first version of the Trim tool that works on basic situations like line intersecting line or line intersecting circle. Had difficulties making the tool work not because of the trimming algorithm but mostly because of the way we and Opencascade generate shapes. Will make another post with technical details related to this issue.

A circle and 2 lines trimmed with another line: