Changes

Summary

1. do not store bulky ml_statistics;
2. more output;
3. plot average heap size;
4. more systematic maximum and average; tuned;
5. clarified use of XML.Cache;
6. proper ml_statistics;
7. store processed content instead of somewhat bulky properties;
8. include full ML statistics: max heap size;
9. tuned;
10. eliminated unused operations;
11. tuned signature;
12. clarified universal table: include ml_statistics;
13. proper order for entry list cons;
14. proper check (amending ad35427dbe88);