Release tooling: tag-based versioning, milestone prompt, and Docker images via GitHub Actions

Release tooling: tag-based versioning, milestone prompt, and Docker images via GitHub Actions #4390