add option to mujin_webstackclientpy_downloaddata.py

[kanbouchou]

Description

• This MR adds option for user to specify scene file extension (such as json).

Test

• Manually verified that downloaded scene format can be controlled by sceneExtension
• test pipeline 1505777

[woswos]

Hi @kanbouchou, I actually worked on this feature before here https://github.com/mujin/mujinwebstackclientpy/pull/54/files

Webstack already allows specifying the format without additional URI manipulation. Can we use the other PR unless there is a reason to do the URI manipulation in this PR?

[kanbouchou]

Hi @kanbouchou, I actually worked on this feature before here https://github.com/mujin/mujinwebstackclientpy/pull/54/files

Webstack already allows specifying the format without additional URI manipulation. Can we use the other PR unless there is a reason to do the URI manipulation in this PR?

@woswos got it.

superseded by https://github.com/mujin/mujinwebstackclientpy/pull/54/files. closing.