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