Add Gitlab-CI job to check copyright See merge request !1441
mentioned in commit 5470f6d7
mentioned in commit 1b3aba9d