ptun: fix ping tunnel client/server

The ptun example has been broken since ping/3 was changed to flush all
the remaining ICMP messages in the mailbox. This resulted in some of the
packets being lost.