Changing http urls to use ssh git syntax.

This fixing problems on servers that have firewall issues with the http
addresses. But requires ssh access to github.com.