Repair github CI

Adjust the Ubuntu version used for the github runner, to repair the CI.
This has the nice side effect that we do not need a container anymore.

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