download_unicode_data_files.py: Select latest or a specific version

[StephanTLavavej]

Followup to #4435, addressing @tahonermann's #4435 (comment).

Usage examples:

D:\GitHub\STL\tools\unicode_properties_parse>python download_unicode_data_files.py
Usage: python download_unicode_data_files.py [latest|<VERSION LIKE 15.0.0>]

D:\GitHub\STL\tools\unicode_properties_parse>python download_unicode_data_files.py x y
Usage: python download_unicode_data_files.py [latest|<VERSION LIKE 15.0.0>]

D:\GitHub\STL\tools\unicode_properties_parse>python download_unicode_data_files.py latest
   Base URL: https://unicode.org/Public/UCD/latest/
Downloading: https://unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt
Downloading: https://unicode.org/Public/UCD/latest/ucd/extracted/DerivedGeneralCategory.txt
Downloading: https://unicode.org/Public/UCD/latest/ucd/EastAsianWidth.txt
Downloading: https://unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakProperty.txt
Downloading: https://unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakTest.txt
Downloading: https://unicode.org/Public/UCD/latest/ucd/emoji/emoji-data.txt

D:\GitHub\STL\tools\unicode_properties_parse>dir *.txt
[...]
03/10/2024  05:30 PM         1,072,686 DerivedCoreProperties.txt
03/10/2024  05:30 PM           268,498 DerivedGeneralCategory.txt
03/10/2024  05:30 PM           194,188 EastAsianWidth.txt
03/10/2024  05:30 PM           111,505 emoji-data.txt
03/10/2024  05:30 PM            96,863 GraphemeBreakProperty.txt
03/10/2024  05:30 PM           188,211 GraphemeBreakTest.txt
               6 File(s)      1,931,951 bytes
[...]

D:\GitHub\STL\tools\unicode_properties_parse>python download_unicode_data_files.py 15.0.0
   Base URL: https://unicode.org/Public/15.0.0/
Downloading: https://unicode.org/Public/15.0.0/ucd/DerivedCoreProperties.txt
Downloading: https://unicode.org/Public/15.0.0/ucd/extracted/DerivedGeneralCategory.txt
Downloading: https://unicode.org/Public/15.0.0/ucd/EastAsianWidth.txt
Downloading: https://unicode.org/Public/15.0.0/ucd/auxiliary/GraphemeBreakProperty.txt
Downloading: https://unicode.org/Public/15.0.0/ucd/auxiliary/GraphemeBreakTest.txt
Downloading: https://unicode.org/Public/15.0.0/ucd/emoji/emoji-data.txt

D:\GitHub\STL\tools\unicode_properties_parse>dir *.txt
[...]
03/10/2024  05:30 PM         1,053,943 DerivedCoreProperties.txt
03/10/2024  05:30 PM           268,339 DerivedGeneralCategory.txt
03/10/2024  05:30 PM           186,337 EastAsianWidth.txt
03/10/2024  05:30 PM           111,505 emoji-data.txt
03/10/2024  05:30 PM            96,863 GraphemeBreakProperty.txt
03/10/2024  05:30 PM            83,691 GraphemeBreakTest.txt
               6 File(s)      1,800,678 bytes
[...]

D:\GitHub\STL\tools\unicode_properties_parse>python download_unicode_data_files.py peppermint
   Base URL: https://unicode.org/Public/peppermint/
Downloading: https://unicode.org/Public/peppermint/ucd/DerivedCoreProperties.txt
HTTP Error 404: Not Found

[barcharcraz]

I recall at some point hardcoding the specific version to download for reproducibility. Maybe we can make the version we used to ship VS the default?

[StephanTLavavej]

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.