* -{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.