[Termtools] Termination Competition 2017 - finished

[Johannes Waldmann]

Hi -

> ​Quite a few conflicts in the ITS category, but some we can double-check
> with the power of certified proofs [...]

Well, there's a catch: the ITS certifier
currently does not check whether the claim in the proof
does match the claim in the benchmark

https://github.com/jwaldmann/ceta-postproc/blob/master/src/Main.hs#L51

- Johannes.