doc: update the instructions for generating a coverage report