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

Job	Run time
Additional Builds and Concurrency Tests	14m 30s
Release builds and tests	12m 1s
Measure coverage	28m 44s
Basic Checks	20m 2s
miri	3m 59s
sanitize (address)	18m 30s
Slow tests	19m 4s
sanitize (address, multi-threading)	19m 16s
sanitize (leak)	7m 51s
sanitize (leak, multi-threading)	9m 38s
	2h 33m 35s

Provide feedback