A ping reply API

This patch adds a way to get a callback when a ping reply is received. This API is used for implementing a ping application: 
* register a callback with `uip_icmp6_echo_reply_callback_add()`
* send a ping packet with `uip_icmp6_send()`
* receive the callback when the remote host have responded to the ping.