feat(emacs/lean-server): add *lean-server-trace* buffer

Fix #115.
lean-mode checkpoint
checkpoint