document use of Gradle proxy settings