Changes

Summary

1. prefer explicit output file: potentially more robust than stdout;
2. proper init_settings, before inspecting ML_HOME etc;
3. support for explicit output file: potentially more robust than stdout;
4. 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";