update to current state of devices in libzmq

- [x] 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`.
- [x] still some documentation and tests to address before merge.