Use the git://github.com form of the GitHub URLs for Travis

Otherwise Travis needs an SSH key.