Add github workflow

Adapt the CI we run on gitlab to run on github, too.

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