add isl_schedule_read_from_{file,str}