Allow the GHCi messages to be overridden via the GHC API; fixes #7456
They now go through log_action. The existing severities all used printDoc, which always adds a trailing newline, which we don't want for the GHCi messages. I therefore added a new severity SevInteractive, which doesn't add a newline.
Showing with 18 additions and 6 deletions