moved IsaPlanner from Provers to Tools; moved Compute_Oracle from Pure/Tools to Tools;
moved IsaPlanner from Provers to Tools;
moved Compute_Oracle from Pure/Tools to Tools;

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