Updated whois to 5.1.3

5.1.2 is no longer available via that link - moved us to 5.1.3