android のソースの取得をproxy環境で。。

新しいandroid のソースの取得は、https経由で行う。
proxy 環境下では、 https_proxy を指定しなければならない。
が、特定のバージョンのgitではproxy+https はうまくいかないらしい。

なので、repo をいじくって、http から取得した。