CI workflow improvement

[henricasanova]

At the moment, the coverage badge is added to the README via a "remove last line / add a new line" hack that's potentially dangerous (e.g., if one adds a blank line at the end of the README file). Using sed -i didn't work for some reason, to investigate again.