add `coverage` for gitlab ci and update project badges

Gitlab v15 has removed the "coverage" setting from the project settings, it has to be added in gitlab ci job.

Badges needed to be updated since we switched from master to main default branch.