detect stale coverage reports

When the coverage report file is older than the file we're
showing the coverage report for, then we show a simple message
to state this fact.