Upgrade to mccs.1.1+17 #626

Job	Run time
Analyse	4s
Test-macOS (4.14.1)	4m 19s
Cygwin	5s
Build-Linux (4.08.1)	2m 19s
Build-macOS (4.14.1)	5m 42s
Hygiene	16s
Build-Linux (4.09.1)	2m 3s
Build-Linux (4.10.2)	2m 3s
Build-Linux (4.11.2)	2m 4s
Build-Linux (4.12.1)	2m 15s
Build-Linux (4.13.1)	2m 15s
Build-Linux (5.0.0)	2m 11s
Build-Linux (5.1.0)	2m 42s
Build-Linux (4.14.1)	2m 17s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	40m 23s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	46m 50s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	50m 9s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	50m 21s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	48m 23s
Test-Linux (4.14.1)	3m 44s
Upgrade-Linux (4.14.1)	1m 2s
Cold-Linux	5m 21s
Solvers-Linux (z3, 4.14.1)	3m 51s
Solvers-Linux (0install, 4.14.1)	3m 50s
Upgrade-macOS (4.14.1)	2m 37s
Solvers-macOS (z3, 4.14.1)	4m 39s
Solvers-macOS (0install, 4.14.1)	2m 45s
	4h 54m 30s

Provide feedback