To update a tool:

- follow the specific build instructions (`<tool>.md`)

- upload the zipped out folder to the Github release

- Update `optimsoc-prebuilt-deploy.py`