use isl 0.12.1 by default

Still does not override --with-isl-version

Change-Id: Ie8930afae63219d10f85ebbda5fea074e7e94b58

Conflicts:
	configure
	configure.ac