feat(frontends/lean/server): add SYNC command, closes #199