try very hard to remove temporary files generated by Nitpick in case of interruption
try very hard to remove temporary files generated by Nitpick in case of interruption

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