clarified system_log: make this work independently of the particular "isabelle build" command-line (e.g. "isabelle mirabelle");