Add coverage report to jenkins output.

[Works towards #46766613]