Added all constants to get/set socket options.
Fixed new signature of `new_sub_socket' to use a filter as argument as otherwise this is completely useless.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92847 8089f293-4706-0410-a29e-feb5c42a2edf
make git happy with rebase
fixing eol for git
fixing sync with svn repository
Merge branch 'master' of github.com:EiffelSoftware/EiffelStudio
fixing synchro with svn repository