I am trying to prepare a docker image to make it possible to you to make it possible to send it to you in the future for problem solving. I have, however, problems getting eiffel programs to execute in docker. Do you have an example Docker file for an Ubuntu system that you can share?