Run Android builds on the new server Linux runner

scripts/setup-android-ci.sh

@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+# Linux CI on the TurkServis server; no workstation Android installation required.
+set -euo pipefail
+sdk_root="${RUNNER_TEMP:?}/android-sdk"
+archive="${RUNNER_TEMP}/commandlinetools-linux-16111833.zip"
+mkdir -p "$sdk_root/cmdline-tools" "$sdk_root/licenses"
+curl --fail --location --retry 3 --max-time 300 \
+  https://dl.google.com/android/repository/commandlinetools-linux-16111833_latest.zip -o "$archive"
+# Official checksum from Google's repository2-3.xml, cmdline-tools;latest, linux.
+printf '%s  %s\n' e025545c62a8e64c7559119566a569fb1dec5f60 "$archive" | sha1sum -c -
+unzip -q "$archive" -d "$sdk_root/cmdline-tools"
+mv "$sdk_root/cmdline-tools/cmdline-tools" "$sdk_root/cmdline-tools/latest"
+cp scripts/android-licenses/android-sdk-license "$sdk_root/licenses/"
+"$sdk_root/cmdline-tools/latest/bin/sdkmanager" --sdk_root="$sdk_root" \
+  'platform-tools' 'platforms;android-37.0' 'build-tools;37.0.0'
+test -f "$sdk_root/platforms/android-37.0/android.jar"
+test -x "$sdk_root/build-tools/37.0.0/aapt2"
+printf 'ANDROID_HOME=%s\nANDROID_SDK_ROOT=%s\n' "$sdk_root" "$sdk_root" >> "$GITHUB_ENV"