doc(make/msys2): update instructions
chore(CMakeLists.txt): use $PYTHON_EXECUTABLE instead of "python"
fix(bin/linja): fix typo
fix(bin/linja): avoid using realpath on msys2
feat(emacs/lean-cmd): add SYNC command
feat(emacs/lean-cmd): add SYNC command