Add timeout argument to ServerInfo.ping

- Reduce the default value to 500ms instead of 5000ms