moved release_results to future.ML; get_some: simplified via Future.release_results;
moved release_results to future.ML;
get_some: simplified via Future.release_results;

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