Add final Azure URL output to the Pull Request

Right now make the URL static, via a secret (future: get this URL via the azure cli). Only for Prod.

1. Set `secret.AZURE_PROD_URL` in Github Secrets
2. Get the secret above, and append the repo-name to it.
3. Output this URL to the PR as a comment

Beginne damit, die Pull-Request-Automatisierung des Repositorys und deren nur für Production geltenden Pfad zu finden; prüfe, wie GitHub Secrets gelesen und wie PR-Kommentare gepostet werden. Verifiziere, dass die zusammengesetzte Azure-URL den Repository-Namen verwendet und nur für Prod als Kommentar erscheint.

Vom Indexierungsmodell aus dem Issue-Text verfasst.