A wrapper for a ping library for the ESP8266, probably https://github.com/dancol90/ESP8266Ping would be a nice thing.