Make the Zulip stream name/number configurable

Author: xrchz

.gitignore

@@ -2,6 +2,7 @@
 custom-uri
 discord-webhook
 zulip-apikey
+zulip-stream
 poll
 api
 worker

serverLib.sml

@@ -669,14 +669,15 @@ end
 
 structure Zulip = struct
   val zulip_apikey = until_space (file_to_string "zulip-apikey")
+  val zulip_stream = until_space (file_to_string "zulip-stream")
   val postMessage_endpoint = "https://hol.zulipchat.com/api/v1/messages"
   fun postMessage_curl_cmd text = (curl_path,["--silent","--show-error",
     "--request","POST",
     "--user",String.concat["[email protected]:",zulip_apikey],
     "--user-agent","CakeML-Regression-Server",
     "--write-out","%{http_code}",
     "--data-urlencode","type=stream",
-    "--data-urlencode","to=Notifications",
+    "--data-urlencode",String.concat["to=",zulip_stream],
     "--data-urlencode","topic=Regression",
     "--data-urlencode",String.concat["content=",text],
     postMessage_endpoint])