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

[Neil Mitchell]

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

Neil