removed sysify_path, quote_sysity_path etc.; added platform_path, shell_path etc.; improved copy: support dir as target; added copy_dir; added isatool; tuned;
removed sysify_path, quote_sysity_path etc.;
added platform_path, shell_path etc.;
improved copy: support dir as target;
added copy_dir;
added isatool;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle