Jenkins: run ghc_setup

--- a/Admin/jenkins/run_build	Thu Oct 18 12:35:32 2018 +0200
+++ b/Admin/jenkins/run_build	Thu Oct 18 20:04:23 2018 +0200
@@ -11,4 +11,5 @@
 bin/isabelle components -a
 bin/isabelle jedit -bf
 bin/isabelle ocaml_setup
+bin/isabelle ghc_setup
 bin/isabelle "ci_build_$PROFILE" "$@"