refactor(emacs/debug): rename lean-server-debug to lean-debug