Make linear-to-program work with Zinc.

benchmarks/linear-to-program/*.dzn:
	Inline identifiers used to specify array indices in array1d and array2d
	so that these files also work as Zinc runtime data files.