dose3 is marked for autoremoval from testing

[Debian testing autoremoval watch]

dose3 5.0.1-14 is marked for autoremoval from testing on 2020-04-09

It (build-)depends on packages with these RC bugs:
951707: gringo: gringo ftbfs with Python 3.8
951842: gringo: gringo needs a new upstream, and fixes for python3.8