isl: use tarball for stable version.

* Also add note about version detection of isl.
* Tighten gmp detection.