isl_farkas.c: farkas: rename "dim" variable to "space"