Define path to coverage report
Define path to coverage report

Force codecov to read the specific code coverage report
which we have already generated so to enforce the ignored
filepaths list. Alternatively, which is actually the suggested
way of doing this, one should create a `.codecov.yml` file as
described [here](https://docs.codecov.io/v4.3.6/docs/ignoring-paths).
However, since we probably don't want to completely rely on
codecov.io services to generate our reports AND we do not want to
keep duplicate ignore path lists (i.e. one in the `run_coverage.sh`
script and one in `.codecov.yml`) we explicitely instruct
codecov which coverage report it should use, instead of freely
roaming over our project's files and generating reports for files
we don't care.

Fixes #42

platisd/indoor-navigation-system,platisd/indoor-navigation-system,platisd/indoor-navigation-system,platisd/indoor-navigation-system