Add Aggregator.zip

This returns a composite aggregator with a tuple input, which comes in handy if you have an initial input that has to be prepared differently for each of the joined aggregators.
just for illustration, can you use two different input types for ag1 and ag2 (not both Int)?