Update cloog and isl to use git repos instead...