Only print out the GHCi banner when verbosity >= 1, so you can omit
the banner with -v0 (useful for tests where you don't want the GHC
version number appearing in the output).