Ping statistics with Python