Coverage: first individual coverage collection file isn't deleted #45
Description
When we merge the individual coverage collections, we skip the first item and use it as a starting point. Since we delete the files in the loop after we read them, the first one doesn't get deleted.