Update to the latest version of the jquery tablesorter plugin.

This fixes a longstanding bug where IP addresses were sometimes sorted
incorrectly.

Change-Id: I606a13824dbd1ed7ee313c7f15a1ea21b67f1d19
Merge "Update to the latest version of the jquery tablesorter plugin."