Feature: download specification

[Romazes]

Description

Added download specification for:

• Add new data download command to lean-cli for data retrieval lean-cli#447
• Implement Download Project in Lean Lean#7975

Related Issue

N/A

Motivation and Context

Make download process a little bit user friendly with using new specification.

Requires Documentation Change

N/A

How Has This Been Tested?

N/A

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>