patch applied (ghc): Tweak banner printing

[Ian Lynagh]

Tue Jun 12 14:07:38 PDT 2007  Ian Lynagh <igloo at earth.li>
  * Tweak banner printing
  * -{short,long}-ghci-banner are now dynamic options, so you can put
    ":set -short-ghci-banner" in .ghci
  * The -v2 banner information now always tells you what compiler booted GHC,
    and what stage the compiler is. Thus we no longer assume that stage > 1
    iff GHCI is defined.

    M ./compiler/Makefile +3
    M ./compiler/ghci/InteractiveUI.hs -30 +32
    M ./compiler/main/DynFlags.hs +3
    M ./compiler/main/Main.hs -21 +10
    M ./compiler/main/StaticFlags.hs -4
    M ./docs/users_guide/flags.xml -2 +2