Merge gringo (5.3.0-10) import into refs/heads/workingbranch

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-10) unstable; urgency=medium

  * Fix FTBFS on buster.
  * debian/control: add Build-Depends on g++-8 >= 8.2.0-21
  * debian/symbols: add alpha and x32 symbols

[dgit import unpatched gringo 5.3.0-10]

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

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

Import gringo_5.3.0.orig.tar.gz

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

Merge gringo (5.1.0-4) import into refs/heads/workingbranch

alpha FTBFS: _FPU_GETCW is undefined

Forwarded: https://github.com/potassco/clasp/pull/3

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

Gbp-Pq: Name gringo-alpha-fpu-getcw.patch

add support for architectures with broken std::exception_ptr std::exception_ptr is currently not supported on armel, see libstdc++ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938

Forwarded: not-needed

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

Gbp-Pq: Name gringo-broken-std-exception_ptr.patch

bugfix: correctly mark body literals as auxiliary in all cases

Origin: upstream, https://github.com/potassco/clingo/commit/d6cfb89df6bbf138ca3e259d71ca7050b322b5d5
Bug: https://sourceforge.net/p/potassco/mailman/message/35493632/

Gbp-Pq: Name gringo-fix-body-literals-as-auxiliary.patch

Sort source files for deterministic linking order

Origin: vendor, https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844096;msg=5
Bug-Debian: https://bugs.debian.org/844096

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

Gbp-Pq: Name reproducible-build.patch

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

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

Gbp-Pq: Name gringo-manpages.patch

gringo (5.1.0-4) unstable; urgency=medium

  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
    _FPU_GETCW and friends are undefined on this arch

[dgit import unpatched gringo 5.1.0-4]

Import gringo_5.1.0-4.debian.tar.xz

[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]

Import gringo_5.1.0.orig.tar.gz

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

Add gringo.1, clingo.1, and iclingo.1 manpages.

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

Gbp-Pq: Name gringo-manpages.patch

gringo (4.4.0-1) unstable; urgency=low

  * New upstream release.
  * debian/control: Remove Suggests on potassco-guide.
  * debian/control: Fix Vcs fields to use anonscm.debian.org.
  * Setup git repository to use git-buildpackage.
  * Import upstream sources with git-import-orig --pristine-tar.

[dgit import unpatched gringo 4.4.0-1]

Import gringo_4.4.0.orig.tar.gz

[dgit import orig gringo_4.4.0.orig.tar.gz]

Import gringo_4.4.0-1.debian.tar.xz

[dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz]