Fix code coverage and download badges