allow redirect of Warnings to stderr
If running without banners we set infoDetailLevel to suppress stdout, or use stderr instead (cf. issues #722 (closed), #893 (closed)). However WarningInFunction etc still land on stdout!
Instead of introducing yet another message stream, hijack the infoDetailLevel for redirecting warnings to stderr for these cases.