feat(emacs/lean-debug): add lean-debug minor-mode

close #177