Changes

Summary

1. tuned --- following hints by IntelliJ;
2. tuned comments;
3. proper shell quote;
4. removed spurious references to perl / libwww-perl;
5. invoke remote ATP via SystemOnTPTP.run_systems from Isabelle/Scala (without perl); clarified inlined command-line; clarified errors: exception ERROR becomes UnknownError (it could stem from Scala function);
6. clarified signature: refer to file name instead of file content;
7. compile;
8. clarified signature: more explicit types;
9. support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;
10. clarified signature;
11. elapsed time to download content (and for the server to provide content);