[tools 1/2] winetest: Distinguish Windows 8 from Windows 8.1.