refactor(emacs/debug): rename lean-server-debug to lean-debug
refactor(emacs/lean-server): rename flush-changed-lines to server-flush-changed-lines
feat(emacs/lean-changes): handle before/after-revert