gringo 4.2.1

Gringo is a grounder for answer-set programming, that is used by package solvers such as aspcud (a port of which is coming soon, as it's required by opam 1.1.1)