change cloog-isl's repository to the current active one
appears to be dead. Cloog's active repo is
now at Switch to the latter. Commit
head remains the same.
url = git://repo.or.cz/isl.git
[submodule "cloog-isl"]
path = cloog-isl
- url = git://repo.or.cz/cloog.git
+ url = https://github.com/periscop/cloog.git
[submodule "piplib"]
path = piplib
url = https://github.com/periscop/piplib.git
