Extract Gradle in the toolchain setup

We define GRADLE_HOME in the android toolchain setup, but it would be better if we defined only when Gradle is actually used.

At this point, we could also extract Gradle during the setup phase.