Merge pull request #5960 from hannesm/migrate #4116

Job	Run time
Analyse	4s
Hygiene	27s
Cygwin	6s
Build-Linux (4.08.1)	2m 44s
Build-macOS (4.14.2)	3m 53s
Build-Linux (4.09.1)	3m 2s
Test-macOS (4.14.2)	30m 59s
Build-macOS (5.3.0)	4m 14s
Test-macOS (5.3.0)	28m 51s
Build-Linux (4.10.2)	2m 25s
Build-Linux (4.11.2)	2m 45s
Build-Linux (4.12.1)	2m 46s
Build-Linux (4.13.1)	2m 45s
Build-Linux (5.0.0)	2m 35s
Build-Linux (5.1.1)	2m 40s
Build-Linux (5.2.1)	2m 23s
Build-Linux (4.14.2)	3m 8s
Build-Linux (5.3.0)	2m 53s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	39m 15s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	41m 17s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	42m 47s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	46m 27s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	47m 29s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.3.0)	42m 55s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 5.3.0)	47m 58s
Test-Linux (4.14.2)	10m 0s
Cold-Linux	5m 35s
Doc-Linux (4.14.2)	1m 21s
Test-Linux (5.3.0)	10m 8s
Solvers-Linux (z3, 4.14.2)	1m 2s
Doc-Linux (5.3.0)	1m 25s
Solvers-Linux (z3, 5.3.0)	1m 0s
Upgrade-Linux (4.14.2)	1m 22s
Upgrade-Linux (5.3.0)	1m 30s
Solvers-Linux (0install, 4.14.2)	1m 36s
Solvers-Linux (0install, 5.3.0)	1m 36s
Upgrade-macOS (4.14.2)	2m 27s
Solvers-macOS (z3, 4.14.2)	1m 23s
Upgrade-macOS (5.3.0)	1m 48s
Solvers-macOS (z3, 5.3.0)	1m 30s
Solvers-macOS (0install, 4.14.2)	1m 11s
Solvers-macOS (0install, 5.3.0)	1m 36s
	7h 33m 18s

Provide feedback