Add missing functions to the socket backend

One of the mirage_skeleton examples (tcp) makes use of functions present in direct but missing from socket. These patches add stubs to make the code compile. More work will be needed to make the code function.