Docker registry and our image-proxy service working again properly.
Final version of the compiler for the submission.