Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 add_server(Arg1, Arg2)

 del_server(Arg1)

 bind_client(Arg1)

 bind_proxy(Arg1)

 remote_call(Arg1, Arg2)