GPS: Update of GNATCoverage integration
GPS integration with GNATCoverage has been improved to support new targets and MCDC analysis in 'run' mode.