Refactoring: make github batch size configurable

This was so that I could test batch handling from the REPL by using a
smaller batch size, so there would be more than one page.

(Looks like it works.  I'm surprised, heh.)