Add CI badge.

1 job for feature_CI_everything_in_GitLab in 18 minutes (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #665
build

00:18:00