Added recording of socket type when creating a ZMQ_SOCKET.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@92845 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed missing svn property.

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