Package "separated-coverage" was renamed to "unit-coverage".

`separated-coverage` was not a good name. Switching to `unit-coverage` name.