Add code cover, linting, and other quality metrics to CI build

[guillaumeeb]

Once #8 is done, it is important to add other quality metrics or linting tools to the CI build in order to improve code quality and test coverage if necessary.