This is a coverage reporter for Codecov. It generates a JSON file
that can be uploaded with the bash script provided by codecov.
See https://docs.codecov.io/docs/about-the-codecov-bash-uploader for details.