ci: Add default CI jobs and mirroring

Though this repository is majorly auto generated, a human may also add
changes. Add basic CI jobs such as:
* license header check
* clang format check
* gitlint

Add also mirroring script to public GitLab.

Signed-off-by: Saheer Babu <saheer.babu@arm.com>