[set] Add add_array()

To be used to optimize adding a whole bunch of (sorted) items at the same time,
as in CoverageFormat1.