Add export of all pages in a batch

This streams the titles fairly directly from the database to the client
and thus should hopefully work even for very large batches.