Add a mirror for cloog-ppl-0.15.11.tar.gz