Fetch individual repositories from the API in batches

[jwodder]

• When fetching details on individual repositories named in the config file, instead of making one query per repository, the repositories should be queried from GraphQL in "batches" of PAGE_SIZE repositories per query.

• When fetching repository activity, instead of making one (or more) queries per repository, the repositories should be queried in batches of multiple repositories per query request.