Added a TypeInformation representing groups for group-wise partitioning

groups are assumed to be not empty and keys used for partitioning are assumed
to be a subset of the keys used for grouping (--> group hash is determined by
looking at the first element)