[Termtools] Additions to TRS_Conditional

Dear all, In order to make the TermCOMP 2022 'demo' category of termination of CTRSs more attractive, we submitted a new collection of oriented CTRSs from COPS. We did not provide any suggestion of name for the collection. Thus, for TermCOMP 2022 I see that it has been named Gutierrez_22 (Raúl submitted the collection of examples). Perhaps COPS_oriented22 would be more appropriate as it recognizes the real origin of the examples. It is not a big problem, but I think better to update the name of the collection. Sorry for not proposing the name of the collection in time. Best regards, Salvador.