A Python library for proxy server list management