android sdk manager 代理设置（送给牛逼的）

解决android sdk更新慢的问题（公司竟然把sdk更新给墙了）。

第一步：如下图

第二部：进入代理设置页面，进行设置。如下图