[sanitizer] Tweak sancov.py output.