Added an API for getting a callback when a ping reply is received.
Merge pull request #504 from adamdunkels/push/ping-reply-api

A ping reply API