clingo: introduce clingo 4.2.1 to -other
gringo: bump to 4.2.1
Merge pull request #146 from v4hn/clingo

clingo: introduce clingo to -other