clarified errors: include stdout;

--- a/src/Pure/Tools/phabricator.scala	Thu Nov 07 10:55:57 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 07 11:00:11 2019 +0100
@@ -69,7 +69,7 @@
     def home: Path = root + Path.explode(phabricator_name())
 
     def execute(command: String): Process_Result =
-      Isabelle_System.bash("./bin/" + command, cwd = home.file).check
+      Isabelle_System.bash("./bin/" + command, cwd = home.file, redirect = true).check
   }
 
   def read_config(): List[Config] =