enforce hard timeout on ATPs (esp. "z3_atp" on Linux) + remove obsolete failure codes
enforce hard timeout on ATPs (esp. "z3_atp" on Linux) + remove obsolete failure codes

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