doc(make/msys2): instructions for building native windows Lean binary
doc(README.md): group build instructions by system