Minor updates to point to GitHub rather than Google Code