a tool to repeatedly ping a host