Add an option to put helper logs into a file #5586

Job	Run time
Slow tests	18m 20s
Additional Builds and Concurrency Tests	13m 42s
Basic Checks	19m 56s
Measure coverage	27m 21s
miri	2m 56s
Release builds and tests	9m 56s
sanitize (address)	17m 36s
sanitize (address, multi-threading)	19m 23s
sanitize (leak)	7m 52s
sanitize (leak, multi-threading)	8m 22s
	2h 25m 24s

Provide feedback