clarified parse_build_info: isabelle build output;
clarified Session_Status;
tuned signature;