Fix sketching tool

[mjvesa]

Sketch mode is still there, but it does not work at the moment. Fix it and rename it to "sketching tool" or something else appropriate. Maybe add a menu for tools and put it there.