Changes

Summary

1. NEWS;
2. merged
3. clarified uses of Isabelle_System.bash_process: more checks, fewer messages;
4. tuned signature;
5. more direct timing from bash_process wrapper;
6. tuned;
7. clarified signature, following Isabelle/Scala;
8. tuned;
9. clarified signature;
10. clarified signature: Isabelle_System.bash_process is strict and thus cannot check for interrupt_return_code;
11. clarified signature: always trim_line of Process_Result.out/err, uniformly in ML and Scala;
12. tuned;
13. clarified signature, following Isabelle/Scala;
14. tuned signature;
15. clarified signature: process_result timing from Isabelle/Scala;
16. NEWS
17. dedicated locale for preorder and abstract bdd operation
18. get rid of traditional predicate