Coverage metric

[Philippe Mouawad]

Hello,
It seems coverage.io graph is not being generated.
So the coverage percentage on github is outdated for now.


Regards