Changes

Summary

1. more robust wrt. experimental changes in Poly/ML;
2. more robust: handle unavailable statistics;
3. merged
4. clarified user counters: expose tasks to external monitor;
5. proper platform path for Windows;
6. clarified signature;
7. support for monitoring of external ML process;
8. clarified signature;
9. more robust;
10. support for monitoring of external ML process;
11. clarified modules: ML_Statistics within bootstrap environment;
12. misc tuning and modernization;
13. clarified examples;