Download source code

It seems that externals built with Mingw-w64 are ~10 times larger than
equivalent builds on other platforms (including original Mingw). Stripping
is therefore desirable. As suggested by IOhannes Zmoelnig stripping is not
done by default, instead this alternative installation target is provided
(like in autotools).