INTEXT-47 WebSocket PING Polishing

Use last receive time (instead of last send) because mostly
write sockets (from the server perspective) may still time out.