History pagination.

[dmitshur]

Now that some repositories have a longer history, adding pagination to the history page is going to be a higher priority.

E.g., see https://dmitri.shuralyov.com/service/change/...$history: