Guido Gunther authored May 11, 2021 and Guido Gunther committed May 18, 2021

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

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