Changes

Summary

1. merged
2. more documentation;
3. tuned;
4. removed obsolete commands;
5. command 'scala_build_generated_files' with proper management of source dependencies; support more file-formats;
6. clarified signature;
7. tuned messages;
8. support more file types;
9. support for Java language;
10. clarified signature;
11. clarified signature;
12. support for classpath artifacts within session structure:
13. clarified names;
14. clarified signature;
15. clarified signature;
16. clarified signature;
17. clarified signature;
18. unused;
19. clarified signature;
20. tuned signature: more explicit types;
21. fix document build error
22. tuned (some HOL lints, by Yecine Megdiche);