Building mathlib 4

Stream: mathlib4

[Nathan Temple]

Actually this makes a lot more sense in conjunction with the 'Installing Lean and mathlib on Windows' directions: https://leanprover-community.github.io/install/windows.html