Gradle sync failed: failed to find Build Tools revision 23.0.3 解决

SDK manager更新一直是项目中一个问题，今天上网找到一个很好的解决方法，下载速度很快：
链接如下：
http://mirrors.neusoft.edu.cn/more.we#android
我用的是mac 的Android studio 和链接中的样式稍微有点不同。
首先打开SDK manager，在HttpProxy中填写如下：

之后就可以愉快的进行更新下载。
分享出来，帮助更多困惑的人。