Trace Importation with gnatcov convertΒΆ

Traces generated from external sources (other than by using gnatcov run) can be imported into GNATcoverage by converting them to the GNATcoverage format using gnatcov convert.