tuned whitespace in generated file;

--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 12:28:02 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 12:28:35 2024 +0100
@@ -87,8 +87,7 @@
 
     override def site_init(name: String, server_name: String, webroot: String): Unit = {
       File.write(site_conf(name),
-"""
-server {
+"""server {
   server_name """ + server_name + """;
   root """ + webroot + """;