doc(make/msys2): instructions for building native windows Lean binary
doc(README.md): group build instructions by system
fix(.travis.yml): trying old configuration for TESTCOV
fix(.travis.yml): trying old configuration for TESTCOV