Coordinator add file size

I'm not entirely happy with buffering the entire JSON response in memory before sending. Some of the requests may contain a large enough number of files to make the machine run out of memory. Even if not, multiple concurrent clients could easily do the same. Maybe we should switch to a better streaming format (like CSV)?