feat(emacs/lean-server): kill the server before emacs exit

Close #138