More general global_cardinality/3

[librarianmage]

It would be nice if global_cardinality/3 supported CLP(Z) variables as keys. This would allow one to express more general permutations without needing to know the values of the list (e.g. two of one number and three of another).