bin-prot is marked for autoremoval from testing

[Debian testing autoremoval watch]

bin-prot 113.33.03-3 is marked for autoremoval from testing on 2018-06-07

It (build-)depends on packages with these RC bugs:
896791: gringo: missing build dependency on python3-distutils