V0.3  -- corner_detect.py now jumps when not cutting.
         Strategy.py: new code: mark_segment_done(), todo_append_or_extend().
         completed process_barrier(), tested, debugged, verbose level reduced.
         The current slicing and sharp corner strategy appears useful.