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>