Change the git repository url to use https. Because it's found that in some network environments http doesn't work. Signed-off-by: Zhao, Gang <gang.zhao.42@gmail.com>