Add a simple Dockerfile to allow people running using Docker. Later this Dockerfile could be used in a GitHub action to provide and official Docker image.
