ci: Map paths in codecov to paths in the repo
Codecov uses the location of files on disk during coverage, which in our
action has an additional prefix compared to the path in the repo, making
some of the stats in codecov not work.
https://docs.codecov.io/docs/fixing-paths explains how to address that
Signed-off-by: Anatole Denis <anatole@unverle.fr>