why3 is marked for autoremoval from testing

[Debian testing autoremoval watch]

why3 0.87.2-2 is marked for autoremoval from testing on 2016-11-23

It (build-)depends on packages with these RC bugs:
837456: ocamlgraph: ocamlgraph needs PIE binNMU