added the name for the zmq_proxy link

This PR adds the name of `zmq_proxy` that was missing from the link in the documentation.