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

close #177
fix(emacs/lean-option): fix lean-get-options
feat(library/data/num): add 'mul' and 'add' for binary numerals