tweaked ping.py for inclusion in r2lab's tutorials - essentially as-is, except for...