Upgrade to mccs.1.1+17 #2438

Job	Run time
Analyse	40s
Cygwin	5s
Hygiene	24s
Build-Linux (4.08.1)	1m 53s
Build-macOS (4.14.1)	5m 32s
Build-Linux (4.09.1)	1m 53s
Test-macOS (4.14.1)	1h 1m 6s
Build-Linux (4.10.2)	1m 50s
Build-Linux (4.11.2)	2m 12s
Build-Linux (4.12.1)	2m 43s
Build-Linux (4.13.1)	1m 59s
Build-Linux (5.0.0)	2m 7s
Build-Linux (5.1.0)	2m 11s
Build-Linux (4.14.1)	1m 48s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)	42m 4s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	48m 29s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)	47m 3s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)	52m 22s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)	47m 18s
Test-Linux (4.14.1)	17m 2s
Solvers-Linux (z3, 4.14.1)	18m 36s
Upgrade-Linux (4.14.1)	1m 3s
Cold-Linux	4m 52s
Solvers-Linux (0install, 4.14.1)	7m 17s
Upgrade-macOS (4.14.1)	2m 58s
Solvers-macOS (z3, 4.14.1)	16m 19s
Solvers-macOS (0install, 4.14.1)	10m 20s
	6h 42m 6s

Provide feedback