use isl 0.12.1 by default

Summary:
Still does not override --with-isl-version

Depends on D544

Test Plan: verified

Reviewers: randall.rushing, synergy

Reviewed By: synergy

Differential Revision: http://review.codefirex.com/D546