Bug#1054688: proposed package update

[Matthias Klose]

Here is what we came up with. Note that there's still one test hanging, 
which is disabled for now.

https://launchpad.net/ubuntu/+source/gringo/5.6.2-0ubuntu1