update infra delete

[wotey]

Update infra delete to remove ao_ai permissions

[wotey]

This pull request includes changes to the scripts/inf-destroy.sh and scripts/inf-manual-destroy.sh scripts to manage Azure resources. The changes primarily involve the addition of commands to delete role assignments and prompt the user for additional information.

The most important changes are:

• scripts/inf-destroy.sh: Added commands to delete role assignments associated with the Azure resource group. This is done by first retrieving the appId of the service principal and the role_assignment_id of the role assignment, and then deleting the role assignment using these identifiers.

• scripts/inf-manual-destroy.sh:

  • Added prompts to ask the user for the name of the OpenAI resource group connected to their resource group. This is done to retrieve the oa_ai_rg_name which is used later in the script.
  • Added commands to delete the OpenAI connection. This is done by first retrieving the appId of the service principal and the role_assignment_id of the role assignment, and then deleting the role assignment using these identifiers.
  • Added extra line breaks for better readability of the script.