We can't say in advance what the argument to BIO_socket_ioctl() should be, so

let's make that a void *.  Also, BIO_socket_nbio() should send it an int
argument, not a long.
PR: 457