[Git][ghc/ghc][wip/chreekat/ci-timings] 3 commits: CI: Fix and clean up capture of timings