gradle-wrapper.properties: Use HTTPS, which is the new default.