.gitlab-ci.yml: Change the called make target in the gitlab CI check target to `check` (it has been renamed from `lint`).