EiffelStudio as a Docker image