Two fixes to multi repl command

[mpickering]

trafficstars

• Adds extra options to the multi-repl file (specified with ghc-options for example)
• Fix the rendering of -j when finally invoking the repl

Both should be backported to 3.12 release

[Mikolaj]

Let me rebase, since all the CI fixes have now landed.

[Mikolaj]

@mergify rebase

[mergify[bot]]

rebase

✅ Branch has been successfully rebased

[ulysses4ever]

Any chance for some tests?

[mpickering]

I have added a test now.

[Mikolaj]

Wonderful. Let me set the merge label so that we can backport sooner.

[geekosaur]

@mergify backport 3.12

[mergify[bot]]

backport 3.12

✅ Backports have been created

• #10085 Two fixes to multi repl command (backport #10017) has been created for branch 3.12