examples/icmp: filter ICMP packets

When pinging localhost, the ICMP socket will see the echo request and
reply. Filter out the echo request. icmp:ping/2,1 will still crash on
other ICMP types.

Thanks @infospacer!