Add support for a couple of other socket options

The options are: SO_RCVTIMEO, SO_SNDTIMEO, SO_LINGER and TCP_NODELAY.
The code still needs to be tested.