Remove ssl_ok. This is never used. Change-Id: I560f04c0a6f140298ca42b8a0913ce954a2fdf7d Reviewed-on: https://boringssl-review.googlesource.com/4789 Reviewed-by: Adam Langley <agl@google.com>