wrappers: update URLs for GitHub
URLs: update URLs for GitHub
github emails: save for posterity

We don't use this script any more (we use gitdub now), but it took a
long time to figure this out.  So I'm putting this script in git just
so that it's in history if we ever need it again.
git emails: remove a script that we're not using any more
infrastructure: first cut at updates for git

This is a first cut at updating various infrastructure for git.  There
will definitely be more commits; some of the scripts require
committed/pushed code (e.g., the various make-tarball scripts).  So
it's not possible to know if we got it right without committing/pushing.