Update to isl trunk

We explicitly update to isl trunk and use this commit to add the
corresponding test case changes.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Merge branch 'master' of ssh://repo.or.cz/srv/git/cloog