Update coverage badge to explicitly point to master branch