clingo, gringo: version bump
Merge pull request #280 from v4hn/clingo

clingo, gringo: version bump