Add tools.ping documentation