解决android sdk更新慢的问题（公司竟然把sdk更新给墙了）。
第一步：如下图
第二部：进入代理设置页面，进行设置。如下图
android sdk manager 代理设置
原文：http://my.oschina.net/u/1270405/blog/335176
