doc(make/msys2): instructions for building native windows Lean binary