Philippe B. authored Mar 06, 2020 and Benjamin Canou committed Mar 26, 2020

Add directives related to code coverage
 - make coverage-setup
 - make coverage-report
 - make coverage-clean

Ignore directories related to code coverage
_coverage_output/ for coverage output
_coverage_report/ for the html report