[Termtools] Some errors

Dear all,

there seems no conflict this year :) But there are some errors.

- Ulitmate: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516407978 It seems to fail to write a file. I think it should not write to the current directory but to the output directory, $2.

- AProVE certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516304215 No idea, but time is almost up. Is there some pre-timeout process that doesn't write even "TIMEOUT"?

- TTT2 certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516330503 A garbage is present before CPF output.

- NaTT certified: https://www.starexec.org/starexec/secure/details/pair.jsp?id=516331340 Hmm I must debug...

Best, Akihisa