Ping timeout

This adds a feature for users of Java-WebSocket to enable a timeout for pings sent from the server. Upon using the library, we noticed if the server went down, the client never found out the websocket connection had ended.