Added an API for getting a callback when a ping reply is received.
Don't compile webserver-ipv6 for the sky platform, as it is a little too small. Use the larger exp5438 instead