added coverage header badge