darcs patch: FIX #1378 Add option for a shorter banner on GHCi startup

[Neil Mitchell]

Hi Chris,

> The other possibly relevant thing -v0 does is suppress the prompt unless
> stdin is a tty.  I don't know enough about the tty stuff to know if this is
> a problem.  Neil, would this be a problem for your GuiHaskell project if it
> used -v0, since it must do something like forking GHCi with stdin set to a
> pipe or named socket?

Its entirely irrelevant, GuiHaskell already plays with the output from
GHCi in fairly intimate ways - its not going to pass -v0 but it might
opt to not display things to the user.

Thanks

Neil