Using a gitlab badge is nicer since it doesn't clutter the the docs.

Signed-off-by: Guido Günther <guido.gunther@puri.sm>