Use a proper mingw32.txt file

Current one is some html gibberish and is practically unusable...

Oh look - neither mingw* toolchain file is actually hooked up into the
CI. We can do that with follow-up commit.

Signed-off-by: Emil Velikov <[email protected]>

Author: evelikov