CI: re-run a build and replace badges

[emersonknapp]

Sometimes when you make slight changes to fix a build, it would be clearer to re-run the existing ci_launcher build with the same gist instead of creating a new Gist - and even better to replace the badges in the GitHub comment (optionally) rather than creating a new comment.