Update isl to 0.12

Gdb helper moved from 'lib' to proper location for gdb auto-load.