A Docker image for android development