fix compatibility with Python 3.8

Last-Update: 2020-02-20
Forwarded: no
Bug-Debian: https://bugs.debian.org/951707

Python 3.8 changes the type of an element of the PyTypeObject struct
(https://www.python.org/dev/peps/pep-0590/) leading to compiler errors.

Gbp-Pq: Name python3.8-compat.patch

rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch

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.3.0-13) unstable; urgency=medium

  * Upload to unstable
  * debian/symbols: fix symbols for g++-9 >= 9.2.0 on armel and powerpc

[dgit import unpatched gringo 5.3.0-13]

Import gringo_5.3.0-13.debian.tar.xz

[dgit import tarball gringo 5.3.0-13 gringo_5.3.0-13.debian.tar.xz]

Import gringo_5.3.0.orig.tar.gz

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