Changes

Summary

1. clarified message;
2. updated version;
3. more explicit status for "canceled" command within theory node;
4. back to post-release mode;
5. clarified message;
6. more robust: memoize interrupt (e.g. resource problem) -- avoid multiple attempts;
7. more robust eval_result: enforce finished result stemming from previous run_process, fail if that was interrupted (e.g. due to resource problems);
8. tuned;