Sets up ajax pagination, plus some small tweaks

This sets up ajax pagination only for the "jump to page" part of the pagination widget.