send more information with test-takes-too-long message (which tests are still running)
send more information with test-takes-too-long message
(which tests are still running)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle