Minor enhancements ideas for pagination

[vbro]

1. Copy/Move the pagination menu to the bottom of the history page. Currently, after scrolling to the bottom of the history page, you have to scroll back to the top of the page to access the link to the next page.
2. Allow users to move to an arbitrary page using a "go to page number" input box. Currently users can jump forwards and backwards a maximum of 10 pages at a time. This can be an inconvenience if there are hundreds of pages.
   Alternatively, allow users to just go to the first and last pages.
   A current workaround for this is to change the "start" variable in the URL.
3. Allow users to customize the number of history entries per page. Currently, this can be done for the site for all users using Configuration.java#setHitsPerPage method. Would be nice for this to be customizable by users.
   A current workaround for this is to change the "n" variable in the URL.
4. The back end implementation for pagination in History.java still requires all history entries to be loaded from the Version Control System. Then it uses java.util.List#subList method to cut out the required list of revisions. Would be good to avoid the subList method and get the required revisions directly from the VCS.

[vladak]

+1

[tulinkry]

The first point solved by #1217

[tulinkry]

Point (2) and (3) could be targeted to 1.1

[tulinkry]

Alternatively, allow users to just go to the first and last pages.

This is already implemented in cset b74ec75