fixed ref to coverage output; added coverage badge