Fix testsuite for python3 when reading utf-8 scripts

===================================================================

Gbp-Pq: Name gringo-python3-utf8.patch

Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages

===================================================================

Gbp-Pq: Name gringo-manpages.patch

gringo (5.4.1-3.1) unstable; urgency=low

  * Non-maintainer upload.
  * Build using the default gcc. (Closes: #1023682)
  * Add patch from Lukas Märdian to use the system catch/catch2.
    (Closes: #1017161)
  * Fix the testsuite for Python no longer supporting 'rU' in open().
  * Remove the symbols file. (Closes: #963054, #1015422)

[dgit import unpatched gringo 5.4.1-3.1]

Import gringo_5.4.1-3.1.debian.tar.xz

[dgit import tarball gringo 5.4.1-3.1 gringo_5.4.1-3.1.debian.tar.xz]

Import gringo_5.4.1.orig.tar.gz

[dgit import orig gringo_5.4.1.orig.tar.gz]