Extend tre-destroy script to remove databricks specifically

[jonnyry]

make tre-destroy script fails when Databricks has been installed on a workspace as it tries to delete the databricks managed resource group directly, rather than deleting the Databricks resource (which itself then deletes the managed resource group).

Extend the make tre-destroy script to specifically look for TRE deployed databricks instances and delete them, before deleting the resource groups.