RFR: 8062744 jdk.net.Sockets.setOption/getOption does not support IP_TOS

[Michael McMahon]

Could I get the following small change reviewed please?

http://cr.openjdk.java.net/~michaelm/8062744/webrev.1/

In JDK 9 the problem only affects the Socket.supportedOptions() method,
but the same change is needed in 8 to allow the IP_TOS option to be set
in a ServerSocket.

Thanks
Michael