eio_progress #

Some simple primitives for building progress bars with Eio flows.