README: Reference isl and islpy