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