add exported isl_*_list_read_from_str