Created by: linzhp
The source files in the library param were not added to the covered source, making coverSource.getCoveredSources() returns empty. This PR fixed it.
This PR also makes Buck save the coverage profile when coverage_mode is not null.