gnu: Separate potassco packages into their own module.

* gnu/packages/potassco.scm: New file.
* gnu/packages/maths.scm (libpotassco, clasp, clingo, python-clingo)
(python-telingo): Move to potassco module.  Adjust imports accordingly.
* gnu/packages/emacs-xyz.scm (emacs-pasp-mode): Move to potassco module.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/packages/potassco.scm.

gnu/packages/potassco.scm

@@ -31,7 +31,6 @@
   #:use-module (guix build-system python)
   #:use-module (guix build-system pyproject)
   #:use-module (gnu packages check)
-  #:use-module (gnu packages graphviz)
   #:use-module (gnu packages libffi)
   #:use-module (gnu packages pkg-config)
   #:use-module (gnu packages python)
@@ -344,33 +343,3 @@ into Python programs easier.")
     (description "This package provides a system to solve dynamic temporal
 logic programs based on clingo.")
     (license license:expat)))
-
-(define-public python-clingraph
-  (package
-    (name "python-clingraph")
-    (version "1.1.0")
-    (source (origin
-              (method git-fetch)
-              (uri (git-reference
-                    (url "https://github.com/potassco/clingraph")
-                    (commit (string-append "v" version))))
-              (file-name (git-file-name name version))
-              (sha256
-               (base32
-                "0bdhli20nw9qnyxmpisgz7m97d7bwx6lbmxy9bgqvm6mipprnv3n"))))
-    (build-system pyproject-build-system)
-    (inputs (list dot2tex graphviz))
-    (propagated-inputs (list python-clingo
-                             python-clorm
-                             python-graphviz
-                             python-imageio
-                             python-jinja2
-                             python-jsonschema
-                             python-networkx))
-    (native-inputs (list dot2tex graphviz python-pylint python-pytest))
-    (home-page "https://github.com/potassco/clingraph")
-    (synopsis "Visualizer for graphs defined as logic programs")
-    (description
-     "This package provides a clingo-based visualizer for graphs defined
-as logic programs.")
-    (license license:expat)))