Summary
- proper build for fresh target directory (amending d9823224fcfe);
- put more resources into jedit_build component;
- more brackets (see f6b453449cc6);
- more brackets;
- proper settings variable, amending 6e85281177df;
- merged
- tuned proofs --- avoid z3, which is absent on arm64-linux;
- proper condition: z3 could be absent, e.g. on arm64-linux;
- build auxiliary jEdit component in Isabelle/Scala; clarified directory layout;
- separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
- tuned message;
- clarified signature;
- tuned signature;