fix travis cgal download link