master f handle l applies function f to each first-component
of elements in l; for each such computation, both the list element
and the result are passed to handle, which returns a list of
new elements to be processed (in an identical manner).
set_pong_timeout t sets the upper time limit t for receiving a
pong message from a worker (since last ping message), before
we declare the worker unreachable.