#5656: detect correct encoding of files when reporting coverage in trace.py, and ignore files in the temporary directory when reporting.