Sets up ajax pagination, plus some small tweaks

This sets up ajax pagination only for the "jump to page" part of the pagination widget.
Yes, it's to denote an optional argument.