Mirror of the integer set library [http://repo.or.cz/w/isl.git], sometimes with patches, for islpy