CI: Update actions to fix nodejs deprecation warnings.

[Gadgetoid]

Details here - https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/

I think we're officially in Spring 2024, so these bumps are a little overdue.