Update python-coverage to version 7.2.5 / rev 56 via SR 1086006
    
    https://build.opensuse.org/request/show/1086006
    by user dgarcia + dimstar_suse
    - Add fix-tests.patch gh#nedbat/coveragepy@3fdda7d017ff
    - Update to 7.2.5:
      * Fix: html_report() could fail with an AttributeError on isatty if
        run in an unusual environment where sys.stdout had been replaced.
        This is now fixed.
    - 7.2.4:
      * Fix: with relative_files = true, specifying a specific file to
        include or omit wouldn't work correctly (issue 1604). This is now
        fixed, with testing help by Marc Gibbons.
      * Fix: the XML report would have an incorrect <source> element when
        using relative files and the source option ended with a slash
        (issue 1541). This is now fixed, thanks to Kevin Brown-Silva.
      * When the HTML report location is printed to the terminal, it's now
        a terminal-compatible URL, so that you can click the location to
        open the HTML file in you