Add gitlab CI

Add a .gitlab-ci.yml file to run `make check' as CI.

[Backported commit 522f377d.]
Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>