Remove the, now unsupported, option `--no-coverage-report`.
Stop using a deprecated argument.
Merge pull request #798 from s0undt3ch/develop

Remove the, now unsupported, option `--no-coverage-report`.