ci, gha: Add Windows jobs based on Linux image #58

Job	Run time
SageMath prover	1m 2s
Build Docker image	43m 17s
x86_64: macOS Ventura (int64, yes, yes, yes, yes)	3m 38s
x86_64: macOS Ventura (int64, yes, yes, yes, yes, gcc)	5m 42s
x86_64: macOS Ventura (int128_struct, 2, 4)	2m 43s
x86_64: macOS Ventura (int128, yes, yes, yes)	3m 24s
x86_64: macOS Ventura (int128, yes, yes)	2m 37s
x86_64: macOS Ventura (int128, yes, yes, yes, yes, gcc)	2m 52s
x86_64: macOS Ventura (int128, yes, yes, yes, yes, -DVERIFY)	3m 14s
x86_64: macOS Ventura (distcheck)	3m 23s
x64 (MSVC): C++ (public headers)	24s
x64 (MSVC): Windows (VS 2022, shared)	5m 2s
x64 (MSVC): Windows (VS 2022, static)	8m 40s
x64 (MSVC): Windows (VS 2022, int128_struct)	6m 50s
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)	7m 17s
x86 (MSVC): Windows (VS 2022)	10m 38s
x86_64 (mingw32-w64): Windows (Debian stable, Wine)	8m 20s
i686 (mingw32-w64): Windows (Debian stable, Wine)	14m 56s
	2h 13m 59s

Provide feedback