[Termtools] ARI for higher-order at termCOMP

Dear all,

since, in contrast to other categories, there is no converter from the new ARI to the old XTC format for higher-order TRSs, we decided to use the XTC format instead of the ARI format for the higher-order category one last time. In this way, tools that participated in the past can enter the competition with little effort, and tool authors have plenty of time to implement a parser for the new ARI format before termCOMP '25.

If you intended to join the higher-order category this year, and your tool already supports the new ARI format, then please get in touch, so that we can discuss whether we should have an additional higher-order category with the new ARI format.

Best Florian