Changes

Summary

1. merged
2. smart_implode "$AFP" as well;
3. merged
4. a few new lemmas
5. new theory Trie
6. merged
7. tuned;
8. updated documentation;
9. clarified syntax;
10. tuned signature;
11. simplified: allow only command names, with dummy for default;
12. clarified: more uniform keyword_tags;
13. tuned;
14. more flexible document_tags;
15. prefer explicit options; tuned;
16. clarified default tag;
17. add URL;
18. tuned;
19. more explicit statement of rat_denum to fit with top100 thms list
20. deleted redundant theorem
21. merged
22. Rationalisation of complex transcendentals, esp the Arg function
23. support NUMA shuffling in CI
24. merged
25. more scalable output;