Docker file for building an image with the ASP solver clingo