Revised windows init2 #456

Job	Run time
Analyse	36s
Build-Linux (4.08.1)	1m 54s
Build-Linux (4.09.1)	2m 6s
Hygiene	24s
Cygwin	3m 17s
Build-Linux (4.10.2)	2m 3s
Build-macOS (4.14.1)	5m 17s
Build-Linux (4.11.2)	2m 8s
Test-macOS (4.14.1)	36m 41s
Build-Linux (4.12.1)	2m 20s
Build-Linux (4.13.1)	2m 7s
Build-Linux (5.0.0)	1m 54s
Build-Linux (5.1.1)	1m 49s
Build-Linux (4.14.1)	1m 53s
Test-Linux (4.14.1)	20m 3s
Solvers-Linux (z3, 4.14.1)	19m 7s
Cold-Linux	4m 53s
Upgrade-Linux (4.14.1)	1m 17s
Solvers-Linux (0install, 4.14.1)	7m 34s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	40m 21s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	49m 42s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	47m 15s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	51m 29s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	52m 23s
Upgrade-macOS (4.14.1)	1m 45s
Solvers-macOS (z3, 4.14.1)	13m 41s
Solvers-macOS (0install, 4.14.1)	7m 9s
	6h 21m 8s

Provide feedback