Checkout all .gir files and check that they are updated on the CI
This came up again with #1428 so I thought I should open an MR to discuss the idea and get the ball rolling.
This is a WIP as it depends on !2954 (merged), only the last commit is relevant in this particular context.