Mints a short-lived GitHub installation token for the workspace's Tessl Helper GitHub App installation, plus the bot identity (appSlug, botUserId, login, email) resolved via the authenticated App credentials. Used by CI workflows and the CLI to act as the Tessl Helper bot without holding the private key or guessing the slug.