Add socket options divert socket 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>