This revision is similar to D10030, except that the script is adapted to
use our own coverage tools (ninja coverage-check-bitcoin) instead of
adding a new way of measuring coverage with new dependencies.
The list of files with non-deterministic coverage has been computed by running the script about 20 times with -DENABLE_COVERAGE=ON but without branch coverage.
Note that this does not provide a good way to finding out if a file can be removed from the list. Some lack of determinism requires many runs to be detected, so absence of detection does not guarantee that a problem is solved.