Source repositories moved to github

[Bruce Guenter]

Hi.

FYI I have just completed uploading all my source repositories (well, at
least all the git ones, which is almost everything public) over to
github. You can find them at:

https://github.com/bruceg