src/Tools/README

adapted to changed ROOT syntax (see 13857f49d215);
discontinued pointless option -d: always enabled;

                 Tools: generic tools outside of Pure

This directory contains ML sources of generic tools.  Typically, they
can be applied to various logics.