Add extra ghc options to multi-repl file

These options are configured into the program by Cabal, so we also need
to extract these and put them into the mutli-file.

Fixes #10015