Adding a mirror for the cloog binary

The bastoul URL has been flagged (inappropriately, I think) as a botnet
by Sonic Wall, a large firewall and content filter provider. Adding a
mirror will make it easier for people behind corporate SonicWall filters
to access this GCC dependency.