sys/ping/ping.c: malloc size of type, not size of pointer

fixed some printf specifiers, too.