CoCoA » CoCoA-5

CoCoA-5 has both *@ConcatList@* and *@ConcatLists@*. They are identical.

We should keep just one.

*2021-01* Decided for @ConcatLists@