changing git:// to https

It's much wiser and a lot more secure to use HTTPS protocol instead of plain-git.