Saw this tweet from sysprogs saying that they're packaging gcc/gdb, binutils and libc together with the latest ESP SDK, here's the toolchain page. Now, the problem might be for us the fact that it's the latest SDK from Espressif and might not work well or at all out of the box. Nonetheless, I thought it's worth mentioning and perhaps someone with access to a Windows machine might be able to give it a go and try to compile the latest micropython/esp8266 branch with it.