server.py /stats: sort the IPs