Renamed paris-traceroute and added tokyo-ping.