net_sockets: change service so it can be used for all the NICS.
[barrelfish] / usr / net_socket_server /
drwxr-xr-x   ..
-rw-r--r-- 697 Hakefile
-rw-r--r-- 31415 net_sockets_server.c