feat(emacs/lean-cmd): add SYNC command
checkpoint