Add export page and JSON metadata endpoint

The export page lists the different options for exporting (part of) the
batches which the tool offers. At the moment, some metadata in JSON is
all that’s available, but I’ll add more options soon.