Changes

Summary

1. shasum for project meta-info;
2. even more strict shasum (amending c9771e1b3223);
3. clarified Isabelle meta-info within jar;
4. strict shasum: this is used on input files;
5. clarified modules; clarified messages; clarified return code;
6. support for command-line operations;
7. operations for all components;
8. clarified signature;