[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 11 commits: driver: Hide source paths at verbosity level 1 by default