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

[Simon Marlow]

Donald Bruce Stewart wrote:
> ndmitchell:
>> Hi
>>
>>> Regarding the patch itself, I'd rather just kill the current banner and 
>>> replace
>>> it with a shorter banner if we're going to do this.  What does everyone 
>>> else think?
>> Finally! Precious screen real estate should be used to give useful
>> information, not ASCII art branding whose time has come and gone.
>> GuiHaskell/WinHaskell have removed the banner from the very beginning.
>> They just print out:
>>
>> Loading GHCi....
>> Prelude>
>>
>> Having the URL of the project home page might be handy, but a logo isn't.
>>
>> [1] http://www-users.cs.york.ac.uk/~ndm/guihaskell/
>> [2] http://www-users.cs.york.ac.uk/~ndm/winhaskell/
>>
>> Thanks
> 
> 
>     $ which ghci
>     ghci: aliased to ghci -v0
> 
>     $ ghci
>     Prelude> 1+2
>     3
> 
> Do we really need a patch for this?

-v0 does more than just suppress the banner, it eliminates the "Compiling" 
messages amongst other things.

Cheers,
	Simon