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`