Make pagination more compact

[WithoutPants]

Lifted from #4453. Makes the pagination control more compact while attempting to maintain its existing functionality.

Shows the current and total page count, with buttons to go to the next, previous, first and last pages.

Includes a dropdown control to the right of the count number that gives a selection of pages around the current page:

Clicking on the count values show a dialog to enter a page number:

(Note: the colour and border-radii of the page count control in the above two screenshots are outdated, and I didn't want to redo them)

For reference, this is the existing pagination control:

and on mobile:

To summarise the difference in functionality:

• adds the ability to enter a page via text input
• removes the ability to skip multiple pages in a single click - this now requires clicking the dropdown, then the desired page
• adds the ability to see the total number of pages