proper init_settings for init_component (before generated ML_OPTIONS etc.);
fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";
src/Pure
src/FOL
src/HOL
src/ZF
src/CCL
src/CTT
src/Cube
src/FOLP
src/LCF
src/Sequents
src/Doc
src/Tools