improvement; use gnuwin32 patch.exe port on win (as equivalent to unix/linux patch)

https://mediawiki.org/wiki/Special:Code/pywikipedia/11711