whois 5.1.3

whois 5.1.2 is not available on the debian mirrors any more, bumping to
5.1.3