Changing links to HTTPS as seems to be the convention in GitHub.