Add whoisservers.py.