Python IP addresses: Provide ipaddrset.py library