Changed git URLs to HTTPS URLS, for widest compatibility.