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.
Merge pull request #317 from dagbrown/whois_5_1_3

whois: bump to 5.1.3