feat(emacs/lean-server): add 'SLEEP ms' for trace
lean-mode checkpoint
checkpoint