amend jenkins ci build;

--- a/Admin/jenkins/run_build	Thu Sep 29 13:58:26 2022 +0200
+++ b/Admin/jenkins/run_build	Thu Sep 29 14:15:01 2022 +0200
@@ -12,4 +12,4 @@
 bin/isabelle jedit -bf
 bin/isabelle ocaml_setup
 bin/isabelle ghc_setup
-bin/isabelle "ci_build $PROFILE" "$@"
+bin/isabelle ci_build "$PROFILE" "$@"