Please note that packetdrill currently does not support
getsockopt() for non int values.

This commit adds support for UDPLite as specified in RFC 3828
and the corresponding socket options.
It is tested on FreeBSD 10.1 and Linux, the platforms supporting
UDPLite.

Signed-off-by: Michael Tuexen <tuexen@fh-muenster.de>

This commit adds support for the following SCTP socket options:
* SCTP_RTOINFO
* SCTP_INITMSG
* SCTP_NODELAY
* SCTP_MAXSEG
* SCTP_DELAYED_SACK
* SCTP_MAX_BURST

Tested on Linux and FreeBSD. NetBSD and OpenBSD doen't support
SCTP and should not be affected.

Signed-off-by: Michael Tuexen <tuexen@fh-muenster.de>

This patch adds the missing end of table marker in the platform_symbols_table
for FreeBSD.

Signed-off-by: Michael Tuexen <tuexen@fh-muenster.de>

Initial commit for the packetdrill network stack testing tool:

  https://code.google.com/p/packetdrill/



Signed-off-by: Neal Cardwell <ncardwell@google.com>