- updated cloog and isl dependencies (now only isl backend is supported; adjusted versions)