.github: Switch to v4 of actions/checkout
GitHub is emitting a warning that v3 is deprecated due to using Node.js 16.