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