Minor improvements to solver and UI

Add cell unlock with dblclick in UI
Simplify UI (remove debug control)
Improve exlanation log for rule-based solver