Disable https on Android SDK fetch
Apparently it no longer works
diff --git a/ci/android-install-sdk.sh b/ci/android-install-sdk.sh
index d03b762..7e6147c 100644
--- a/ci/android-install-sdk.sh
+++ b/ci/android-install-sdk.sh
@@ -49,7 +49,7 @@
filter="$filter,sys-img-$abi-android-24"
-./android-accept-licenses.sh "android - update sdk -a --no-ui --filter $filter"
+./android-accept-licenses.sh "android - update sdk -a --no-ui --filter $filter --no-https"
echo "no" | android create avd \
--name $1 \