Bump clingo to 5.8.0 (#375)

Author: peter-gy

packages/clingo/meta.yaml

@@ -1,11 +1,11 @@
 package:
   name: clingo
-  version: 5.7.1
+  version: 5.8.0
   top-level:
     - clingo
 source:
-  url: https://files.pythonhosted.org/packages/3b/b3/c7b464426f70fe100cb4f3e5b45623e3eb82ea50f1dffdc2f820f1418fe0/clingo-5.7.1.tar.gz
-  sha256: 17400a1894da46b2d4941a4a85012c98fa8b3c67a5c6b4c73dcd8c8facbc059f
+  url: https://files.pythonhosted.org/packages/f0/05/1a8a34eea27e73e4c6f7c9d0654b4fd7f509a5fbbb7b3eae7735e5ecd1c2/clingo-5.8.0.tar.gz
+  sha256: e557d0ab209bfe185e4ae9dde531ca777be1b72a1a13a5d169926a1f9e4c4480
 about:
   home: https://github.com/potassco/clingo
   PyPI: https://pypi.org/project/clingo