update to current state of devices in libzmq

zmq_device is *not* removed in libzmq3 anymore,
but it is deprecated in favor of a new `zmq_proxy`
function that is a less-capable clone of our own `monitored_queue`.

still some documentation and tests to address before merge.