libisl-gdb.py: consistently use tabs for indentation