Eiffel compilation toolchain as a Docker image