[chc-comp] Possible typos in the CHC-COMP page

Dear Gidon, Jose

I have just submitted our solver, and noticed that the genre explanation for ADT-LIA and ADT-LIA-Arrays appear to be reversed.

ADT-LIA: Linear Integer Arithmetic + Arrays + non-recursive Algebraic

data-types, nonlinear clauses

ADT-LIA-Arrays: Algebraic data-types + Linear Integer Arithmetic,

nonlinear clauses

Although the correction may seem minor, could you check and correct the descriptions?

Best, Hiroyuki