Modify multiple benchmark files (low priority)

[dvoits]

As a user of Z3 performance check tools,
I want to make small changes in multiple benchmarks files,
so that I could add same comments or directives to all files of a folder located in my benchmark blob storage.

Possible solution is to use a PowerShell script which makes following:

• Download folder to my local machine
• Run a specified script for the downloaded files to change the files
• Upload the modified files back to Azure storage (either replace or make copy).