Cloog: tightened dependency check.

* Explicitly request external gmp and isl as well as specifying their
  prefixes.
* Enable verbose build log for better diagnosis.