Sketch improvements

I continued working on the sketch selection and fixed the issues I mentioned in the previous posts.

Here is a video demonstrating some of the new functionalities:
- select a face of an extruded shape for a new sketch
- draw different shapes on the face and extrude them
- use a shape on a face to select its sketch for editing
- edit shapes on the face