cleanup old isabelle-* dirs before test start included master log file
cleanup old isabelle-* dirs before test start
included master log file

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