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