Auto merge of rust-lang#7297 - flip1995:rm-cov, r=giraffate

Remove util/cov.sh script

This script hasn't been working and wasn't used for years.

changelog: none

Author: bors