Refresh github actions

The checkout and upload-artifact actions v3 we use in our github CI are
deprecated; refresh them to v4.

[Backport commit 7ff0f4ca.]
Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>