Don't use mirrors in Travis

CDN is faster.