added target -pre-jar which copies jEdit plugin to be included in jar;
added target -pre-jar which copies jEdit plugin to be included in jar;

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