Define the docker image to use for android builds

We currently have a setup for android builds on agent 2-4: this needs to be replaced by a docker image. Several images already exist, we need to check if one of them could be used, or if we need a custom one.