This is ping for MintNet >= 0.53.

I have made some changes to get a timer granularity of 5 ms instead
of 2 sec which the MintLibs gettimeofday() give you. This relies on
clock() to return real time instead of process time as the MintLibs
clock() does.

Enjoy,
Kay.
roemer@rbi.informatik.uni-frankfurt.de
