[Termtools] registration is over

Dear all, the registration for termCOMP is over. Some teams worked really hard to fix issues caused by the StarExec update, resulting in some last minute registrations. Thanks for that! If you missed the deadline, but intended to participate, please get in touch. Best Florian