Fix "select all" in Opera
Rotate in the expected direction
Add add_extra_instructions
Remove selection with delete key
Add tool_setup and tool_data

Also slightly clean up some tool related things.
Fix typos
Add edge weights
Add distanceToLineSegment
Add edge weights to UI
Use shift instead of splice
Add Dijkstra's algorithm simulation