clingo, gringo: version bump