whois: bump to 5.1.3

Also, apparently 5.1.2 has been removed from the source repository
altogether, which is odd.  Maybe there was a horrible security hole
in it.