Add Group Symbol and Total Time Execution Logging for Downloading Canonical Data

[Romazes]

Description

This pull request introduces two new features:

1. Group Symbol Addition: When downloading canonical data, a group symbol is now included to improve data organization and clarity.
2. Total Time Execution Logging: Total time execution of the download provider is now logged, aiding in performance monitoring and optimization.

Related Issue

N/A

Related PR

• Implement Download Project in Lean #7975

Motivation and Context

By adding a group symbol, we aim to enhance the user experience by providing clearer organization of downloaded canonical data. Additionally, logging the total time execution of the download provider will help us monitor performance and identify potential areas for improvement.

Requires Documentation Change

How Has This Been Tested?

• Unit Testing: Writing unit tests to cover different scenarios and ensure code reliability and stability.

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• Refactor (non-breaking change which improves implementation)
• Performance (non-breaking change which improves performance. Please add associated performance test and results)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to change)
• Non-functional change (xml comments/documentation/etc)

Checklist:

• My code follows the code style of this project.
• I have read the CONTRIBUTING document.
• I have added tests to cover my changes.
• All new and existing tests passed.
• My branch follows the naming convention bug-<issue#>-<description> or feature-<issue#>-<description>

[Martin-Molinero]

Thank you! 👍