[Termtools] termcomp updates

[Johannes Waldmann]

Dear all,

I processed the recent batch of updates of registrations,
and started another test run
https://termcomp.imn.htwk-leipzig.de/competitions/7

There still are some platform bugs that need fixing, see
https://github.com/jwaldmann/star-exec-presenter/issues
https://github.com/jwaldmann/ceta-postproc/issues
I will work on this later this week.

Also, star-exec show some strange behaviour sometimes, see
https://www.tapatalk.com/groups/starexec/public-forums-f80/

Best - J.W.