Batch result UI

[mattias-p]

Depends on:

• zonemaster/zonemaster-backend#1151
• zonemaster/zonemaster-backend#1154 for API stability

The batch id should be part of the batch result URL.

The batch result URL should return either a batch result page (if the batch id does exist) or a 404 page (if the batch id does not exist).

The batch result page should contain:

• the batch id
• a progress indication consisting of two numbers:
  • the number of ended jobs in the batch (i.e. jobs in one of the completed, cancelled or crashed statuses)
  • the total number of jobs in the batch
• a list of links to the result of each crashed job in the batch
• a list of links to the result of each cancelled job in the batch
• a list of links to the result of each completed job in the batch

N.B. Working out the details of this design proposal I started out with my recollection of our discussion at the F2F in January 2024, and then I tried to find a local optimum close to that which maximises usefulness in relation to the required implementation effort.