A few docker file to create docker images