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

[Donald Bruce Stewart]

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?

-- Don