Python wrapper for isl, an integer set library