Gradually load more diffs with batch diffs

With batch diffs currently we always request 20 files per page. But we could change this to load a smaller amount first and grow the amount per page gradually as more requests are happening.

This also becomes useful with file-by-file diffs which we could load 1 at first and then start to load more and more as requests finish.