Coverage badge is no longer able to show its value
Since my change moving "coverage" to a run on schedules, the coverage badge can't print its current coverage value.
I propose to copy the coverage job to run also on a regular "push", but only for master@GNOME. And keep the manual coverage job available, just in case anyone wants to see how his/hers changes impacts the coverage.