added isabelle_tool version as basic integrity check of platform/distribution;
added isabelle_tool version as basic integrity check of platform/distribution;

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