android源代码下载时的gitrepo代理设置