Added sim_getnames_sock to get a printable form of the endpoints of a socket