isl011: various fixes.

* Correct gmp4 prefix. Was "gmp" by mistake.
* Update homepage link.
* Drop head (not useful for formulae in homebrew-versions).
* Use "--disable-silent-rules" to enable verbose build log.