32-bit CI
(Shares first two commits with !233 (merged))
This extends our CI system to add i386 binaries to the Debian images, and use them to cross-build for 32-bit. We also now have an android-ndk image, based on Debian Buster, that builds for armeabi-v7a and arm64-v8a.