Build and push random-scheduler image to Dockerhub

Build directors is execution/infrastructure/random-scheduler. As image name I would propose theodolite-random-scheduler. Maybe, the image can also be build within the CI pipeline.