coq-doc is marked for autoremoval from testing

[Debian testing autoremoval watch]

coq-doc 8.4pl4-1 is marked for autoremoval from testing on 2016-02-20

It (build-)depends on packages with these RC bugs:
802264: camlp5: matita: FTBFS with OCaml 4.02.3