Add socket options for divert socket's send and receive buffers.
This introduces two new socket options IP_DIVSENDBUF and IP_DIVRECVBUF, which respectively affects the divert socket receive and send buffers. This allows an application author to modify these values as needed.
Submitted by: Neel Chauhan <neel at neelc.org>