Starting: GitHub project renaming

To correct problems introduced by the googlecode migration, we are
beginning a renaming of our GitHub repositories:

For each *projectname *(e.g., collect, tables, aggregate, etc.):

*projectname *==renamed-to==> projectname-bad

projectname-fixed ==renamed-to==> projectname

We will send another e-mail once these renamings are completed.

After the renaming is complete, if you have cloned the repositories and
modified the code, you will want to follow these instructions to rebase
your clone to the new project repository:

ยทยทยท -- Mitch Sundt Software Engineer University of Washington