Add a docker file for running gimli inside a container.