[Termtools] complexity categories

[Johannes Waldmann]

Dear all, some updates on this:

I received updated versions of aprove and tct,
and patches for postprocessors. Now it looks like this:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/15

results display and scoring is still broken
but you can look at postproc output on starexec directly, e.g.
https://www.starexec.org/starexec/secure/download?type=job&id=8587

- Johannes.