Use mirrors in travis setup