New batch id format

[mattias-p]

Historically the batch feature was intended for strictly internal use but this changes with #1153. Today the format of the batch id is just an integer and new batch ids are generated using a counter. We should introduce a new batch id format to be used in the new API. The new format should use some kind of tokens similar to job ids. It would probabaly be nice if its easy to distinguish between a job id and a batch id.

• Update batch_create to return batch ids in the new format,
• update get_batch_job_result, batch_status, batch_results and batch_domains to accept batch ids in both the old and the new formats.

Once add_batch_job is removed we should also migrate all existing batches using the old batch id format to new ids in the new format.

Stabilization

Tracking issue

Affected interfaces

Incompatibly changed:

• batch_create

Compatibly changed:

• get_batch_job_result
• batch_status
• batch_results
• batch_domains

Dependencies

None

Overlapping proposals

None