In module Channel, added tools (`reactive_image', `reactive_minion') simply derived from the fundamental ones (`map', `product', `cover') to show the ability of channels to program in a reactive style, remaining compliant with the OCaml garbage collection.