群PING小工具，可以ping多个IP，方便服务器维护人员使用。