我们学校最近改成代理上网了，只开通了一个8080端口。现在我们除了浏览网页就只能上qq.其他的很多软件都用不成了，像abitcool---用来下载体育比赛的工具；poco--用来下载电影的工具等由于没有代理设置彻底不能用了，金山毒霸不能自动升级，比特精灵的速度也只有以前的万分之一......我该怎么办呀？这些软件还能用吗？如果都不能用的话，请大家给介绍几款好用的工具！谢谢！！！！