Merge pull request #5500 from sabine/connect_stdin_explicitly #4030

Job	Run time
Analyse	4s
Build-macOS (4.14.2)	3m 20s
Hygiene	32s
Cygwin	5s
Build-macOS (5.2.0)	3m 43s
Build-Linux (4.08.1)	2m 27s
Build-Linux (4.09.1)	2m 53s
Test-macOS (4.14.2)	25m 54s
Build-Linux (4.10.2)	2m 10s
Test-macOS (5.2.0)	20m 48s
Build-Linux (4.11.2)	2m 59s
Build-Linux (4.12.1)	2m 20s
Build-Linux (4.13.1)	2m 12s
Build-Linux (5.0.0)	2m 18s
Build-Linux (5.1.1)	2m 22s
Build-Linux (4.14.2)	2m 0s
Build-Linux (5.2.0)	2m 16s
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.2)	35m 9s
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	39m 4s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.2)	39m 27s
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.2)	43m 0s
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.2)	46m 14s
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 5.2.0)	38m 34s
Cold-Linux	4m 50s
Solvers-Linux (z3, 4.14.2)	55s
Test-Linux (4.14.2)	10m 36s
Solvers-Linux (z3, 5.2.0)	56s
Doc-Linux (4.14.2)	2m 19s
Upgrade-Linux (4.14.2)	2m 5s
Test-Linux (5.2.0)	9m 46s
Solvers-Linux (0install, 4.14.2)	1m 24s
Doc-Linux (5.2.0)	1m 17s
Upgrade-Linux (5.2.0)	1m 36s
Solvers-Linux (0install, 5.2.0)	1m 29s
Upgrade-macOS (4.14.2)	1m 49s
Solvers-macOS (z3, 4.14.2)	15m 43s
Upgrade-macOS (5.2.0)	1m 51s
Solvers-macOS (z3, 5.2.0)	15m 57s
Solvers-macOS (0install, 4.14.2)	1m 37s
Solvers-macOS (0install, 5.2.0)	1m 21s
	6h 35m 22s

Provide feedback