add support for socketoption sctp_disable_fragments

gtests/net/packetdrill/symbols_freebsd.c

@@ -87,6 +87,7 @@ struct int_symbol platform_symbols_table[] = {
 	{ SCTP_AUTOCLOSE,                   "SCTP_AUTOCLOSE"                  },
 	{ SCTP_PRIMARY_ADDR,                "SCTP_PRIMARY_ADDR"               },
 	{ SCTP_ADAPTATION_LAYER,            "SCTP_ADAPTATION_LAYER"           },
+	{ SCTP_DISABLE_FRAGMENTS,           "SCTP_DISABLE_FRAGMENTS"          },
 	{ SCTP_MAXSEG,                      "SCTP_MAXSEG"                     },
 	{ SCTP_AUTH_ACTIVE_KEY,             "SCTP_AUTH_ACTIVE_KEY"            },
 	{ SCTP_DELAYED_SACK,                "SCTP_DELAYED_SACK"               },

gtests/net/packetdrill/tests/bsd/sctp/api_tests/getsockopt/sctp_disable_fragments.pkt

@@ -10,8 +10,8 @@
 
 +0 getsockopt(3, SOL_SOCKET, SO_ERROR, [0], [4]) = 0
 
-+0 getsockopt(3, SOL_SOCKET, SCTP_DISABLE_FRAGMENTS, [0], [4]) = 0
-+0 setsockopt(3, SOL_SOCKET, SCTP_DISABLE_FRAGMENTS, [1], 4) = 0
-+0 getsockopt(3, SOL_SOCKET, SCTP_DISABLE_FRAGMENTS, [1], [4]) = 0
++0 getsockopt(3, IPPROTO_SCTP, SCTP_DISABLE_FRAGMENTS, [0], [4]) = 0
++0 setsockopt(3, IPPROTO_SCTP, SCTP_DISABLE_FRAGMENTS, [1], 4) = 0
++0 getsockopt(3, IPPROTO_SCTP, SCTP_DISABLE_FRAGMENTS, [1], [4]) = 0
 
 +0 close(3) = 0