Better GitHub Co-Authors

Adds a button to GitHub pull requests to make it simple to add co-author credits for all PR participants before merging.

These are versions of this script where the code was updated. Show all versions.