[Git][ghc/ghc][master] driver: Hide source paths at verbosity level 1 by default