Changes

Summary

1. tuned;
2. tuned;
3. update XML cache for slightly modified messages;
4. more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
5. more options;
6. clarified default server name;
7. more uniform output: this may be parsed by another program;
8. clarified argument formats: explicit Unit, allow XML.Elem as well; tuned messages: prefer single quotes for JSON output;
9. tuned comments;
10. convenience to represent XML.Body as single XML.Elem;
11. clarified AFP partitioning;
12. abstract algebraic bit operations