Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. tuned signature;
2. tuned signature;
3. proper unzip with strip option, within the JVM; tuned component build process;
4. updated to sqlite-jdbc-3.39.4.1; clarified directory layout;
5. more standard component build process;
6. clarified signature: prefer Scala functions instead of shell scripts;
7. tuned;
8. more direct target directory;
9. clarified signature: prefer Scala functions instead of shell scripts;