Let's use gitlab badges instead of ones no more used.

Gitlab do provide badges for build status and code coverage, so we should probably use them, instead of the external one