[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 7 commits: testsuite: remove obsolete --ci option from the testsuite driver