A download tool for learn.tsinghua.edu.cn site