copy jEdit sources instead of jar, for better browsing experience;

clarified command line;

added "isabelle scala_project" to support e.g. IntelliJ IDEA;