Initial fix-up of google code references
Merge changes from acl2 community repo into ragerdl repo.
Changing my email address in the quickstart and making a wiki page reference slightly more canonical (it's actually case-insensitive, but the filename is sentence case).
Merge pull request #241 from ragerdl/master

Fixup googlecode references