rename isl.py to libisl-gdb.py