[Termtools] termcomp2015 now running complexity categories

[Johannes Waldmann]

Good morning all,

I just started the complexity competition categories.
(and it worked! just one click! yay!)

Results appear at
http://nfa.imn.htwk-leipzig.de/termcomp-2015/competitions/4

Notes:

* there's a new rule for scoring (using lower and upper bounds)
  http://cbr.uibk.ac.at/competition/rules.php

* TCT2 is not counted as a competitor,
  since TCT3 by the same team is running.

Once complexity is finished,
I will then run the other competition categories,
and finally, demonstration categories.

- J.