Spec: Aggregation coordinator choice (#106)

Adds a mechanism for choosing between multiple aggregation coordinators.
See also the explainer update:
#101

To simplify this spec change, the Protected Audience integration's get
batching scope steps are modified to be lazy.