isl 0.12.2

Update to 0.12.2.

0.13 is also out, but we may want to wait on that as gcc (and presumably others) are not yet compatible with it.