Allows automatic generation of coverage report, but it is a "dirty" fix,
it could be done much better! WARNING: It takes many time to generate
the report due to "hpc sum" inefficiency.
Future work: Igloo revealed the existence of a secret environment
variable HPCTIXFILE that could be used to avoid summing tix files.