Remove coverage_report.txt, it is not needed in the repo
Add header for release 0.7.13